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 12 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- Associative idempotent nondecreasing functions are reducible (Q1731811) (← links)
- Soundness, idempotence and commutativity of set-sharing (Q4452614) (← links)
- (Q4518873) (← links)
- On how to move mountains ‘associatively and commutatively’ (Q5055722) (← 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)
- Complete sets of reductions with constraints (Q6488546) (← links)