The following pages link to Confluence by Decreasing Diagrams (Q3522026):
Displayed 8 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)