The following pages link to (Q3993260):
Displaying 7 items.
- A completion procedure for conditional equations (Q758211) (← links)
- On ground-confluence of term rewriting systems (Q913496) (← links)
- Critical pair criteria for completion (Q1106659) (← links)
- Completion for rewriting modulo a congruence (Q1262752) (← links)
- Computing ground reducibility and inductively complete positions (Q5055712) (← links)
- Applying term rewriting methods to finite groups (Q5096205) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
