dblp.uni-trier.dewww.uni-trier.de

Joachim Steinbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
13EEJoachim 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
7EEJoachim Steinbach: Proving Polynomials Positive. FSTTCS 1992: 191-202
1990
6EEJoachim Steinbach: AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering. ALP 1990: 372-386
5EEJoachim Steinbach: Improving Assoviative Path Orderings. CADE 1990: 411-425
1989
4EEJoachim Steinbach: Extensions and Comparison of Simplification Orderings. RTA 1989: 434-448
3EEJü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

Coauthor Index

1Jürgen Avenhaus [2] [3]
2Richard Göbel [2]
3Christoph Goller [14]
4Bernhard Gramlich [2]
5Ortrun Ibens [14]
6Reinhold Letz [14]
7Carlos Loría-Sáenz [8]
8Klaus Madlener [2] [3]
9Klaus Mayr [14]
10Max Moser [14]
11Jürgen Müller [1]
12Johann Schumann [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)