The following pages link to Confluence and superdevelopments (Q5055793):
Displaying 5 items.
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Developing developments (Q1392147) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Development closed critical pairs (Q4645811) (← links)
