The following pages link to Natural termination (Q673622):
Displaying 11 items.
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- An improved general path order (Q1925013) (← links)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- (Q2851054) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- TERMINATION OF ABSTRACT REDUCTION SYSTEMS (Q3620615) (← links)
- Non-Looping String Rewriting (Q4718895) (← links)
- Termination of constructor systems (Q5055852) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
