Pages that link to "Item:Q1199927"
From MaRDI portal
The following pages link to Termination and completion modulo associativity, commutativity and identity (Q1199927):
Displayed 10 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I (Q3839878) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Open problems in rewriting (Q5055780) (← links)
- More problems in rewriting (Q5055812) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)