Pages that link to "Item:Q5881285"
From MaRDI portal
The following pages link to Confluence of the disjoint union of conditional term rewriting systems (Q5881285):
Displaying 8 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- Combinations of simplifying conditional term rewriting systems (Q5881179) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)