Pages that link to "Item:Q2996192"
From MaRDI portal
The following pages link to A Monotonic Higher-Order Semantic Path Ordering (Q2996192):
Displaying 8 items.
- Complete monotonic semantic path orderings (Q2723431) (← links)
- 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)
- (Q4447239) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- The recursive path and polynomial ordering for first-order and higher-order terms (Q4914419) (← links)
- A termination ordering for higher order rewrite systems (Q5055816) (← links)