Pages that link to "Item:Q5055799"
From MaRDI portal
The following pages link to Optimal normalization in orthogonal term rewriting systems (Q5055799):
Displaying 17 items.
- A sequential reduction strategy (Q671504) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- The evaluation strategy for head normal form with and without on-demand flags (Q2703699) (← links)
- Compact normalisation trace via lazy rewriting (Q2841224) (← links)
- Approximations for strategies and termination (Q2843601) (← links)
- Vicious circles in orthogonal term rewriting systems (Q2849584) (← links)
- On the Normalization and Unique Normalization Properties of Term Rewrite Systems (Q3608777) (← links)
- Stable results and relative normalization (Q4500174) (← links)
- The geometry of orthogonal reduction spaces (Q4571994) (← links)
- Higher-order families (Q5055875) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- Minimal relative normalization in orthogonal expression reduction systems (Q6567775) (← links)