Pages that link to "Item:Q4133943"
From MaRDI portal
The following pages link to The Equivalence of Complete Reductions (Q4133943):
Displayed 5 items.
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Reductions of Residuals are Finite (Q4168908) (← links)
- Standard and Normal Reductions (Q4177543) (← links)
- Confluence and superdevelopments (Q5055793) (← links)