Pages that link to "Item:Q2043816"
From MaRDI portal
The following pages link to Applications and extensions of context-sensitive rewriting (Q2043816):
Displaying 13 items.
- Completeness of context-sensitive rewriting (Q477588) (← links)
- Scattered versus context-sensitive rewriting (Q1115634) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures (Q3557094) (← links)
- Transforming Outermost into Context-Sensitive Rewriting (Q3575304) (← links)
- (Q4221610) (← links)
- Rewrite Closure and CF Hedge Automata (Q4910476) (← links)
- Pullback rewriting and applications (Q4923531) (← links)
- Transformation techniques for context-sensitive rewrite systems (Q5692154) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)