Pages that link to "Item:Q1318777"
From MaRDI portal
The following pages link to Modularity of confluence: A simplified proof (Q1318777):
Displaying 7 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Modularity of Confluence (Q3541716) (← links)
