Joachim Steinbach

15 papers A 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
1997 J jnl
SETHEO and E-SETHEO - The CADE-13 Systems.
J. Autom. Reason.
Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
1995 — conf
Automatic Termination Proofs With Transformation Orderings.
RTA
Joachim Steinbach
1995 J jnl
Simplification Orderings: Histrory of Results.
Fundam. Informaticae
Joachim Steinbach
1994 J jnl
A Formalism for Representing Orderings.
Bull. EATCS
Joachim Steinbach
1994 J jnl
Generating Polynomial Orderings.
Inf. Process. Lett.
Joachim Steinbach
1994 — —
Termination of rewriting - extensions, comparison and automatic generation of simplification orderings.
Joachim Steinbach
1993 J jnl
Simplification Orderings: Putting Them to the Test.
J. Autom. Reason.
Joachim Steinbach
1992 — conf
Proving Polynomials Positive.
FSTTCS
Joachim Steinbach
1992 — conf
Termination of Combined (Rewrite and lambda-Calculus) Systems.
CTRS
Carlos Loría-Sáenz, Joachim Steinbach
1990 — conf
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.
ALP
Joachim Steinbach
1990 A conf
Improving Assoviative Path Orderings.
CADE
Joachim Steinbach
1989 — conf
COMTES - An Experimental Environment for the Completion of Term Rewriting Systems.
RTA
Jürgen Avenhaus, Klaus Madlener, Joachim Steinbach
1989 — conf
Extensions and Comparison of Simplification Orderings.
RTA
Joachim Steinbach
1987 — conf
TRSPEC: A Term Rewriting Based System for Algebraic Specifications.
CTRS
Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach
1986 — conf
Topologische Multisetordnungen.
GWAI
Jürgen Müller, Joachim Steinbach