Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 23:06, 15 October 2019

Search the publication database

  . Return

Your search returned the following 13 documents:

  1. Harald Ganzinger and Jürgen Stuber
    Superposition with equivalence reasoning and delayed clause normal form transformation
    Information and Computation 199 (1-2): 3-23, 2005
  2. Harald Ganzinger and Jürgen Stuber
    Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, 666, 2003, 335-349
    [PS: Download: _03CADE.1.ps]
  3. Jürgen Stuber
    Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
    In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), Norwich, UK, July 10-12, 2000, 2000, 229-245
  4. Jürgen Stuber
    Superposition Theorem Proving for Commutative Algebraic Theories
    Doctoral dissertation, Universität des Saarlandes, 1999
    [PS: Download: Stuber1999Diss.ps.gz]
  5. Jürgen Stuber
    Theory path orderings
    In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), Trento, Italy, July 2, 1999 to July 4, 1999, 1999, 148-162
  6. Jürgen Stuber
    Superposition theorem proving for abelian groups represented as integer modules
    Theoretical Computer Science 208 (1/2): 149-177, 1998
  7. Jürgen Stuber
    Superposition theorem proving for commutative rings
    In: Automated Deduction - A Basis for Applications. Volume III. Applications, 1998, 31-55
  8. Jürgen Stuber
    Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
    In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), Schloss Hagenberg by Linz, Austria, October 27-28, 1997, 1997, 125-129
  9. Jürgen Stuber
    Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
    In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, USA, July 1996, 1996, 33-47
  10. Leo Bachmair, Harald Ganzinger, and Jürgen Stuber
    Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
    In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, 1995, 1-29
  11. Jürgen Stuber
    Computing Stable Models by Program Transformation
    In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), Santa Margherita Ligure, Italy, June 13-18, 1994, 1994, 58-73
  12. Jürgen Stuber
    Inductive Theorem Proving for Horn Clauses
    Master's thesis, Universität Dortmund, 1991
    [PS: Download: stuber.ps]
  13. Harald Ganzinger and Jürgen Stuber
    Inductive theorem proving by consistency for first-order clauses
    In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 1992, 441-462. Note: Also in Proc.~CTRS'92, LNCS~656, pp.~226--241