The following pages link to Natural termination (Q673622):
Displayed 5 items.
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- An improved general path order (Q1925013) (← links)
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Non-Looping String Rewriting (Q4718895) (← links)