The following pages link to (Q3707399):
Displaying 15 items.
- Unification under associativity and idempotence is of type nullary (Q580999) (← links)
- Unification in commutative theories (Q582071) (← links)
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- Unification problems with one-sided distributivity (Q1099650) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- A unification algorithm for second-order monadic terms (Q1109019) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- Equational problems and disunification (Q1124372) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Contraction algebras and unification of (infinite) terms (Q1185240) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Adventures in associative-commutative unification (Q1262757) (← links)
- Complete sets of unifiers and matchers in equational theories (Q1820760) (← links)
- Unification modulo an equality theory for equational logic programming (Q2639627) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
