The following pages link to (Q4222981):
Displayed 11 items.
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Methods for Proving Termination of Rewriting-based Programming Languages by Transformation (Q2808239) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- Lazy Rewriting and Context-Sensitive Rewriting (Q2841298) (← links)
- (Q2851049) (← links)
- (Q4222979) (← links)
- Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)