Pages that link to "Item:Q5055816"
From MaRDI portal
The following pages link to A termination ordering for higher order rewrite systems (Q5055816):
Displayed 7 items.
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- Abstract data type systems (Q1391729) (← links)
- Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations (Q3522031) (← links)
- A recursive path ordering for higher-order terms in η-long β-normal form (Q5055855) (← links)
- Linear second-order unification (Q5055871) (← links)
- The practice of logical frameworks (Q5878905) (← links)