Pages that link to "Item:Q1099654"
From MaRDI portal
The following pages link to An algebraic approach to unification under associativity and commutativity (Q1099654):
Displaying 5 items.
- Permutative rewriting and unification (Q876048) (← links)
- Efficient solution of linear diophantine equations (Q1121310) (← links)
- Unification in permutative equational theories is undecidable (Q1825190) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
