Pages that link to "Item:Q5055710"
From MaRDI portal
The following pages link to Complete sets of reductions modulo associativity, commutativity and identity (Q5055710):
Displaying 7 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Open problems in rewriting (Q5055780) (← links)
- More problems in rewriting (Q5055812) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
