Pages that link to "Item:Q2043816"
From MaRDI portal
The following pages link to Applications and extensions of context-sensitive rewriting (Q2043816):
Displaying 4 items.
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
