The following pages link to Modularity of Confluence (Q3541716):
Displaying 7 items.
- Modularity of confluence: A simplified proof (Q1318777) (← links)
- Layer systems for confluence -- formalized (Q1623131) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Layer systems for proving confluence (Q2911632) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Rewriting Techniques and Applications (Q5901569) (← links)