| 1997 |
|---|
| 14 | | Max Moser,
Ortrun Ibens,
Reinhold Letz,
Joachim Steinbach,
Christoph Goller,
Johann Schumann,
Klaus Mayr:
SETHEO and E-SETHEO - The CADE-13 Systems.
J. Autom. Reasoning 18(2): 237-246 (1997) |
| 1995 |
|---|
| 13 | | Joachim Steinbach:
Automatic Termination Proofs With Transformation Orderings.
RTA 1995: 11-25 |
| 12 | | Joachim Steinbach:
Simplification Orderings: Histrory of Results.
Fundam. Inform. 24(1/2): 47-87 (1995) |
| 1994 |
|---|
| 11 | | Joachim Steinbach:
A Formalism for Representing Orderings.
Bulletin of the EATCS 53: 264-267 (1994) |
| 10 | | Joachim Steinbach:
Generating Polynomial Orderings.
Inf. Process. Lett. 49(2): 85-93 (1994) |
| 1993 |
|---|
| 9 | | Joachim Steinbach:
Simplification Orderings: Putting Them to the Test.
J. Autom. Reasoning 10(3): 389-397 (1993) |
| 1992 |
|---|
| 8 | | Carlos Loría-Sáenz,
Joachim Steinbach:
Termination of Combined (Rewrite and lambda-Calculus) Systems.
CTRS 1992: 143-147 |
| 7 | | Joachim Steinbach:
Proving Polynomials Positive.
FSTTCS 1992: 191-202 |
| 1990 |
|---|
| 6 | | Joachim Steinbach:
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.
ALP 1990: 372-386 |
| 5 | | Joachim Steinbach:
Improving Assoviative Path Orderings.
CADE 1990: 411-425 |
| 1989 |
|---|
| 4 | | Joachim Steinbach:
Extensions and Comparison of Simplification Orderings.
RTA 1989: 434-448 |
| 3 | | Jürgen Avenhaus,
Klaus Madlener,
Joachim Steinbach:
COMTES - An Experimental Environment for the Completion of Term Rewriting Systems.
RTA 1989: 542-546 |
| 1987 |
|---|
| 2 | | Jürgen Avenhaus,
Richard Göbel,
Bernhard Gramlich,
Klaus Madlener,
Joachim Steinbach:
TRSPEC: A Term Rewriting Based System for Algebraic Specifications.
CTRS 1987: 245-248 |
| 1986 |
|---|
| 1 | | Jürgen Müller,
Joachim Steinbach:
Topologische Multisetordnungen.
GWAI 1986: 254-264 |
