Pages that link to "Item:Q5901569"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901569):
Displaying 7 items.
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- On confluence and residuals in Cauchy convergent transfinite rewriting (Q2390300) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Modularity of convergence and strong convergence in infinitary rewriting (Q2786135) (← links)
- Layer systems for proving confluence (Q2911632) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)