The following pages link to (Q3703287):
Displaying 13 items.
- Unification in commutative theories (Q582071) (← links)
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- Associative-commutative unification (Q1099648) (← 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)
- Adventures in associative-commutative unification (Q1262757) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Competing for the \(AC\)-unification race (Q1319390) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Diophantine equations, Presburger arithmetic and finite automata (Q5878899) (← links)
