The following pages link to (Q3202988):
Displayed 4 items.
- The Church-Rosser theorem and quantitative analysis of witnesses (Q1627965) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)