Pages that link to "Item:Q2958395"
From MaRDI portal
The following pages link to Confluence by Decreasing Diagrams – Formalized (Q2958395):
Displaying 11 items.
- The delunification process and minimal diagrams (Q492265) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Diagram techniques for confluence (Q1271472) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Proof orders for decreasing diagrams (Q2958383) (← links)
- (Q2985126) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- A geometric proof of confluence by decreasing diagrams (Q4500178) (← links)
- On the power of simple diagrams (Q5055861) (← links)
- Labelings for Decreasing Diagrams. (Q5389095) (← links)