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