Pages that link to "Item:Q5878911"
From MaRDI portal
The following pages link to Confluence without termination via parallel critical pairs (Q5878911):
Displayed 9 items.
- Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556) (← links)
- Developing developments (Q1392147) (← links)
- Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- (Q6192005) (← links)