Pages that link to "Item:Q1199927"
From MaRDI portal
The following pages link to Termination and completion modulo associativity, commutativity and identity (Q1199927):
Displaying 23 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Paramodulation with built-in AC-theories and symbolic constraints (Q1355755) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- On using ground joinable equations in equational theorem proving (Q1404987) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Normalized rewriting: An alternative to rewriting modulo a set of equations (Q2563692) (← links)
- Rewriting in the partial algebra of typed terms modulo AC (Q2842873) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I (Q3839878) (← links)
- (Q4518873) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Associative-commutative discrimination nets (Q5044725) (← links)
- Complete sets of reductions modulo associativity, commutativity and identity (Q5055710) (← links)
- On how to move mountains ‘associatively and commutatively’ (Q5055722) (← 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)
- Associative-commutative deduction with constraints (Q5210795) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete (Q6488535) (← links)
- Ordered rewriting and confluence (Q6488545) (← links)
- Complete sets of reductions with constraints (Q6488546) (← links)
