The following pages link to Labelings for decreasing diagrams (Q2352504):
Displaying 6 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- Labelings for Decreasing Diagrams. (Q5389095) (← links)
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)