Searching for authors named "Harald Ganzinger" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
- … Problems Harald Ganzinger Max-Planck-Institut fur Informatik, Saarbrucken, Germany hg…
- Cited by 6 (2 self) – Add To MetaCart
-
Strict Basic Superposition and Chaining
- …Strict Basic Superposition and Chaining Leo Bachmair Harald Ganzinger MPI--I--97--2--011 December…
- Add To MetaCart
-
Rigid Reachability The Non-Symmetric Form Of Rigid E-Unification
- … RIGID REACHABILITY THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION HARALD GANZINGER Max-Planck-Institut f…
- Add To MetaCart
-
Ordered Chaining Calculi for First-Order Theories of Transitive Relations
- … at Stony Brook, Stony Brook, New York and Harald Ganzinger Max-Planck-Institut fur Informatik, Saarbrucken…
- Cited by 19 (4 self) – Add To MetaCart
-
Strict Basic Superposition
- …Strict Basic Superposition Leo Bachmair ?1 and Harald Ganzinger ??2 1 Comp. Sci. Dept., SUNY…
- Cited by 6 (0 self) – Add To MetaCart
-
New Directions in Instantiation-Based Theorem Proving
- …New Directions in Instantiation-Based Theorem Proving Harald Ganzinger, Konstantin Korovin MPI…
- Cited by 14 (0 self) – Add To MetaCart
-
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
- …Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation Harald…
- Cited by 10 (0 self) – Add To MetaCart
-
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
- …Chaining Techniques for Automated Theorem Proving in Many-Valued Logics Harald Ganzinger, Viorica…
- Cited by 5 (2 self) – Add To MetaCart
-
Buchberger's algorithm: A constraint-based completion procedure
- …Buchberger's algorithm: A constraint-based completion procedure ? Leo Bachmair 1 and Harald…
- Cited by 10 (2 self) – Add To MetaCart
-
Equational Reasoning In Saturation-Based Theorem Proving
- …LEO BACHMAIR AND HARALD GANZINGER EQUATIONAL REASONING IN SATURATION-BASED THEOREM PROVING KEY…
- Cited by 28 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
