Pages that link to "Item:Q2996200"
From MaRDI portal
The following pages link to Termination of Rewriting with Strategy Annotations (Q2996200):
Displaying 15 items.
- Relaxing monotonicity for innermost termination (Q835006) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← 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)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- Just-in-time: on strategy annotations (Q2841222) (← links)
- Lazy rewriting and context-sensitive rewriting (Q2841298) (← links)
- Correct and complete (positive) strategy annotations for \textsf{OBJ} (Q2851049) (← links)
- Outermost ground termination (Q2851054) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- (Q4808759) (← links)
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248) (← links)