Pages that link to "Item:Q5898158"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898158):
Displaying 8 items.
- A sequential reduction strategy (Q671504) (← links)
- Decidability for left-linear growing term rewriting systems. (Q1400714) (← links)
- Reconstruction of linear index expressions for reducing programs to a linear class (Q1569374) (← links)
- Decidable call-by-need computations in term rewriting (Q1763429) (← links)
- Approximations for strategies and termination (Q2843601) (← links)
- (Q3809229) (← links)
- (Q4847002) (← links)
- (Q5369502) (← links)