Joachim Steinbach

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Improving associative path orderings	2023-04-28	Paper
Termination of combined (rewrite and λ-calculus) systems Conditional Term Rewriting Systems	2023-03-09	Paper
Extensions and comparison of simplification orderings Rewriting Techniques and Applications	2022-12-09	Paper
Automatic termination proofs with transformation orderings Rewriting Techniques and Applications	2022-12-09	Paper
AC-termination of rewrite systems: a modified Knuth-Bendix ordering Algebraic and Logic Programming	2022-08-16	Paper
scientific article; zbMATH DE number 1318515 (Why is no real title available?)	1999-08-08	Paper
scientific article; zbMATH DE number 794239 (Why is no real title available?)	1996-06-10	Paper
scientific article; zbMATH DE number 604876 (Why is no real title available?)	1994-07-12	Paper
Generating polynomial orderings Information Processing Letters	1994-04-04	Paper
Simplification orderings: Putting them to the test Journal of Automated Reasoning	1994-01-13	Paper
scientific article; zbMATH DE number 3986676 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Joachim Steinbach