The following pages link to Development closed critical pairs (Q4645811):
Displaying 4 items.
- Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556) (← links)
- Developing developments (Q1392147) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
- A PVS Theory for Term Rewriting Systems (Q5178962) (← links)
