Pages that link to "Item:Q5901559"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901559):
Displaying 12 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- A complexity tradeoff in ranking-function termination proofs (Q1006896) (← links)
- Strictness analysis of the untyped \(\lambda\)-calculus (Q1114667) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325) (← links)
- The Strength of the SCT Criterion (Q2988827) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- Termination tests inside lambda-calculus (Q4133598) (← links)
- (Q5089009) (← links)
- A SAT-Based Approach to Size Change Termination with Global Ranking Functions (Q5458329) (← links)
- Termination of combined (rewrite and λ-calculus) systems (Q5881181) (← links)
- A simplifier for untyped lambda expressions (Q5881291) (← links)