The following pages link to (Q3338216):
Displaying 29 items.
- Mark Stickel: his earliest work (Q287332) (← links)
- Unification in commutative theories (Q582071) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- The calculus of context relations (Q918720) (← links)
- A superposition oriented theorem prover (Q1060857) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- An algebraic approach to unification under associativity and commutativity (Q1099654) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure (Q1106657) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- Finite generation of ambiguity in context-free languages (Q1117043) (← links)
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- Universal algebras (Q1173984) (← links)
- Completion for unification (Q1178701) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Completion for rewriting modulo a congruence (Q1262752) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Complete sets of unifiers and matchers in equational theories (Q1820760) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- (Q3994022) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Bounded ACh unification (Q5139278) (← links)
