The following pages link to (Q4938610):
Displaying 7 items.
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Lazy Rewriting and Context-Sensitive Rewriting (Q2841298) (← links)
