Pages that link to "Item:Q5881181"
From MaRDI portal
The following pages link to Termination of combined (rewrite and λ-calculus) systems (Q5881181):
Displaying 6 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- A termination ordering for higher order rewrite systems (Q5055816) (← links)
- A recursive path ordering for higher-order terms in η-long β-normal form (Q5055855) (← links)
- Higher order conditional rewriting and narrowing (Q5096313) (← links)