Pages that link to "Item:Q438562"
From MaRDI portal
The following pages link to Decreasing diagrams and relative termination (Q438562):
Displaying 14 items.
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- A proof method for local sufficient completeness of term rewriting systems (Q2119990) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Composing proof terms (Q2305425) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- (Q2985126) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)
- A geometric proof of confluence by decreasing diagrams (Q4500178) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- (Q4993363) (← links)
- Labelings for Decreasing Diagrams. (Q5389095) (← links)