Pages that link to "Item:Q2958383"
From MaRDI portal
The following pages link to Proof orders for decreasing diagrams (Q2958383):
Displaying 9 items.
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Diagram techniques for confluence (Q1271472) (← links)
- Confluence by Decreasing Diagrams – Formalized (Q2958395) (← links)
- (Q2985126) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- (Q5009706) (← links)
- Labelings for Decreasing Diagrams. (Q5389095) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)