Pages that link to "Item:Q5387840"
From MaRDI portal
The following pages link to On Confluence of Infinitary Combinatory Reduction Systems (Q5387840):
Displaying 5 items.
- Infinitary combinatory reduction systems (Q550248) (← 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)
- Term Rewriting and Applications (Q5703868) (← links)