Joachim Steinbach

According to our database, Joachim Steinbach authored at least 15 papers between 1986 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

SETHEO and E-SETHEO - The CADE-13 Systems.

Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr

J. Autom. Reason., 1997

1995

Simplification Orderings: Histrory of Results.

Joachim Steinbach

Fundam. Informaticae, 1995

Automatic Termination Proofs With Transformation Orderings.

Joachim Steinbach

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1994

Generating Polynomial Orderings.

Joachim Steinbach

Inf. Process. Lett., 1994

A Formalism for Representing Orderings.

Joachim Steinbach

Bull. EATCS, 1994

Termination of rewriting - extensions, comparison and automatic generation of simplification orderings.

Joachim Steinbach

PhD thesis, 1994

1993

Simplification Orderings: Putting Them to the Test.

Joachim Steinbach

J. Autom. Reason., 1993

1992

Proving Polynomials Positive.

Joachim Steinbach

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

Termination of Combined (Rewrite and lambda-Calculus) Systems.

Carlos Loría-Sáenz, Joachim Steinbach

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1990

Improving Assoviative Path Orderings.

Joachim Steinbach

Proceedings of the 10th International Conference on Automated Deduction, 1990

AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.

Joachim Steinbach

Proceedings of the Algebraic and Logic Programming, 1990

1989

Extensions and Comparison of Simplification Orderings.

Joachim Steinbach

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

COMTES - An Experimental Environment for the Completion of Term Rewriting Systems.

Jürgen Avenhaus, Klaus Madlener, Joachim Steinbach

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987

TRSPEC: A Term Rewriting Based System for Algebraic Specifications.

Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

Topologische Multisetordnungen.

Jürgen Müller, Joachim Steinbach

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986