Pages that link to "Item:Q1893727"
From MaRDI portal
The following pages link to Transfinite reductions in orthogonal term rewriting systems (Q1893727):
Displaying 7 items.
- Böhm Reduction in Infinitary Term Graph Rewriting Systems (Q5111303) (← links)
- (Q5216302) (← links)
- The infinitary lambda calculus of the infinite eta Böhm trees (Q5269002) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Q5878908) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898158) (← links)
- Minimal relative normalization in orthogonal expression reduction systems (Q6567775) (← links)