Pages that link to "Item:Q3527310"
From MaRDI portal
The following pages link to Higher-Order Orderings for Normal Rewriting (Q3527310):
Displaying 4 items.
- Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Normal Higher-Order Termination (Q2946769) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
