The following pages link to Confluence by Decreasing Diagrams (Q3522026):
Displayed 13 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- (Q2985126) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- Finding small counterexamples for abstract rewriting properties (Q4585013) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)