The following pages link to Diagram techniques for confluence (Q1271472):
Displayed 7 items.
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- New up-to techniques for weak bisimulation (Q2373744) (← links)
- Braids via term rewriting (Q2422032) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)