The following pages link to An improved general path order (Q1925013):
Displaying 8 items.
- Natural termination (Q673622) (← links)
- An improved general path order (Q1925013) (← links)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Termination of constructor systems (Q5055852) (← links)
- (Q5322722) (← links)
- A Higher-Order Iterative Path Ordering (Q5505590) (← links)
- Improving associative path orderings (Q6488548) (← links)