The SCEAS System
Navigation Menu

Search the dblp DataBase


Joachim Steinbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joachim Steinbach
    AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:372-386 [Conf]
  2. Joachim Steinbach
    Improving Assoviative Path Orderings. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:411-425 [Conf]
  3. 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]
  4. 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]
  5. Joachim Steinbach
    Proving Polynomials Positive. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1992, pp:191-202 [Conf]
  6. Jürgen Müller, Joachim Steinbach
    Topologische Multisetordnungen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:254-264 [Conf]
  7. 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]
  8. Joachim Steinbach
    Extensions and Comparison of Simplification Orderings. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:434-448 [Conf]
  9. Joachim Steinbach
    Automatic Termination Proofs With Transformation Orderings. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:11-25 [Conf]
  10. Joachim Steinbach
    A Formalism for Representing Orderings. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:53, n:, pp:264-267 [Journal]
  11. Joachim Steinbach
    Simplification Orderings: Histrory of Results. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:24, n:1/2, pp:47-87 [Journal]
  12. Joachim Steinbach
    Generating Polynomial Orderings. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:49, n:2, pp:85-93 [Journal]
  13. 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]
  14. 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.039secs, Finished in 0.040secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002