Joachim Steinbach

From MaRDI portal
Person:1311403

Available identifiers

zbMath Open steinbach.joachimMaRDI QIDQ1311403

List of research outcomes





PublicationDate of PublicationType
Improving associative path orderings2023-04-28Paper
Termination of combined (rewrite and λ-calculus) systems2023-03-09Paper
Extensions and comparison of simplification orderings2022-12-09Paper
Automatic termination proofs with transformation orderings2022-12-09Paper
AC-Termination of rewrite systems: A modified Knuth-Bendix ordering2022-08-16Paper
https://portal.mardi4nfdi.de/entity/Q42566471999-08-08Paper
https://portal.mardi4nfdi.de/entity/Q48469991996-06-10Paper
https://portal.mardi4nfdi.de/entity/Q42998531994-07-12Paper
Generating polynomial orderings1994-04-04Paper
Simplification orderings: Putting them to the test1994-01-13Paper
https://portal.mardi4nfdi.de/entity/Q37501481986-01-01Paper

Research outcomes over time

This page was built for person: Joachim Steinbach

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1311403&oldid=6174223"
Powered by MediaWiki