The following pages link to Natural termination (Q673622):
Displayed 6 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)
- TERMINATION OF ABSTRACT REDUCTION SYSTEMS (Q3620615) (← links)
- Non-Looping String Rewriting (Q4718895) (← links)