The following pages link to (Q3780428):
Displaying 4 items.
- Testing for the ground (co-)reducibility property in term-rewriting systems (Q685352) (← links)
- A strong restriction of the inductive completion procedure (Q1824381) (← links)
- Decidability of confluence and termination of monadic term rewriting systems (Q5055767) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
