Pages that link to "Item:Q5055830"
From MaRDI portal
The following pages link to Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830):
Displaying 7 items.
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- Implementing conditional term rewriting by graph rewriting (Q5958126) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
