Pages that link to "Item:Q1262752"
From MaRDI portal
The following pages link to Completion for rewriting modulo a congruence (Q1262752):
Displayed 6 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- A rewriting strategy to verify observational congruence (Q915472) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- Automated deduction with associative-commutative operators (Q1340508) (← links)
- Partial completion of equational theories (Q1592635) (← links)
- Infinite complete group presentations (Q1916428) (← links)