Pages that link to "Item:Q4500178"
From MaRDI portal
The following pages link to A geometric proof of confluence by decreasing diagrams (Q4500178):
Displaying 5 items.
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Proof orders for decreasing diagrams (Q2958383) (← links)
- Confluence by Decreasing Diagrams – Formalized (Q2958395) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)