Pages that link to "Item:Q2518609"
From MaRDI portal
The following pages link to Shallow confluence of conditional term rewriting systems (Q2518609):
Displaying 5 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- A series of revisions of David Poole's specificity (Q524933) (← 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)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)