Searching for authors named "Leo Bachmair" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Strict Basic Superposition and Chaining
- …Strict Basic Superposition and Chaining Leo Bachmair Harald Ganzinger MPI--I--97--2--011 December…
- Add To MetaCart
-
Congruence Closure and Syntactic Unification
- …Congruence Closure and Syntactic Unification ? (Abstract) Leo Bachmair and Ashish Tiwari…
- 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
-
An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction
- … and Leo Bachmair Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY 11794, U…
- Cited by 2 (0 self) – Add To MetaCart
-
A Theory of Resolution
- …A Theory of Resolution Leo Bachmair Harald Ganzinger MPI--I--97--2--005 April Authors' Addresses…
- Cited by 17 (2 self) – Add To MetaCart
-
Completion for rewriting modulo a congruence
- …COMPLETION FOR REWRITING MODULO A CONGRUENCE * Leo Bachmair Department of Computer Science SUNY…
- Cited by 28 (5 self) – Add To MetaCart
-
A CRITICAL PAIR CRITERION FOR COMPLETION MODULO A CONGRUENCE 1
- …A CRITICAL PAIR CRITERION FOR COMPLETION MODULO A CONGRUENCE 1 Leo Bachmair Nachum Dershowitz…
- Add To MetaCart
-
Abstract congruence closure and specializations
- … Abstract Congruence Closure and Specializations ? Leo Bachmair and Ashish Tiwari Department…
- Cited by 20 (3 self) – Add To MetaCart
-
Ordered Chaining Calculi for First-Order Theories of Transitive Relations
- …Ordered Chaining Calculi for First-Order Theories of Transitive Relations Leo Bachmair SUNY…
- Cited by 20 (4 self) – Add To MetaCart
-
Equational Inference, Canonical Proofs, And Proof Orderings
- …EQUATIONAL INFERENCE, CANONICAL PROOFS, AND PROOF ORDERINGS Leo Bachmair Department of Computer…
- Cited by 23 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
