Pages that link to "Item:Q5389095"
From MaRDI portal
The following pages link to Labelings for Decreasing Diagrams. (Q5389095):
Displaying 9 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Confluence by Decreasing Diagrams – Formalized (Q2958395) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)