The following pages link to Diagram techniques for confluence (Q1271472):
Displaying 13 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 theory for graphs (Q2464760) (← links)
- Proof orders for decreasing diagrams (Q2958383) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- (Q4220419) (← links)
- A geometric proof of confluence by decreasing diagrams (Q4500178) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)
- On the power of simple diagrams (Q5055861) (← 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)