Pages that link to "Item:Q1825644"
From MaRDI portal
The following pages link to Sequential evaluation strategies for parallel-or and related reduction systems (Q1825644):
Displaying 16 items.
- A sequential reduction strategy (Q671504) (← links)
- On abstract normalisation beyond neededness (Q683744) (← links)
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Infinitary lambda calculus (Q1392145) (← links)
- Sequentiality, monadic second-order logic and tree automata. (Q1854333) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- The evaluation strategy for head normal form with and without on-demand flags (Q2703699) (← links)
- A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy (Q2946765) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Optimal normalization in orthogonal term rewriting systems (Q5055799) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)
- Context rewriting (Q5881173) (← links)
- Minimal relative normalization in orthogonal expression reduction systems (Q6567775) (← links)