The following pages link to A sequential reduction strategy (Q671504):
Displaying 12 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Reducing sequences (Q1729590) (← links)
- Sequential evaluation strategies for parallel-or and related reduction systems (Q1825644) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy (Q2946765) (← links)
- An Addition Strategy for Reduct Construction (Q2949621) (← links)
- (Q3705542) (← links)
- (Q3774997) (← links)
- (Q4421017) (← links)
- Default rules for Curry (Q4593082) (← links)
- Optimal normalization in orthogonal term rewriting systems (Q5055799) (← links)