Pages that link to "Item:Q2808236"
From MaRDI portal
The following pages link to Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236):
Displaying 4 items.
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- A context-based approach to proving termination of evaluation (Q2805157) (← links)
- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures (Q3557094) (← links)