Joachim Steinbach

Publication Activity (10 Years)

Years Active: 1986-1997
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

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