The following pages link to Term Rewriting and Applications (Q5703868):
Displaying 11 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Wadge reducibility and infinite computations (Q1001344) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Counterexamples in infinitary rewriting with non-fully-extended rules (Q1944100) (← links)
- On Normalisation of Infinitary Combinatory Reduction Systems (Q3522017) (← links)
- Comparing Böhm-Like Trees (Q3636829) (← links)
- (Q3988401) (← links)
- Reinterpreting Compression in Infinitary Rewriting (Q5111906) (← links)
- Computing with Infinite Terms and Infinite Reductions (Q5208870) (← links)