The following pages link to Confluence by Decreasing Diagrams (Q3522026):
Displaying 24 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Diagram techniques for confluence (Q1271472) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Confluence theory for graphs (Q2464760) (← links)
- Proof orders for decreasing diagrams (Q2958383) (← links)
- Confluence by Decreasing Diagrams – Formalized (Q2958395) (← 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)
- A geometric proof of confluence by decreasing diagrams (Q4500178) (← links)
- Finding small counterexamples for abstract rewriting properties (Q4585013) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- (Q5109511) (← links)
- Infinite runs in abstract completion (Q5111315) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
