Pages that link to "Item:Q2996192"
From MaRDI portal
The following pages link to A Monotonic Higher-Order Semantic Path Ordering (Q2996192):
Displayed 4 items.
- Normal Higher-Order Termination (Q2946769) (← links)
- Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)