Pages that link to "Item:Q5055722"
From MaRDI portal
The following pages link to On how to move mountains ‘associatively and commutatively’ (Q5055722):
Displaying 4 items.
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- Complete sets of reductions modulo associativity, commutativity and identity (Q5055710) (← links)
- On ground AC-completion (Q5055778) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)