Similar Items: Transforming Outermost into Context-Sensitive Rewriting
- (Leftmost-Outermost) Beta Reduction is Invariant, Indeed
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation
- Natural Transformations as Rewrite Rules and Monad Composition
- Context-Sensitive Languages, Rational Graphs and Determinism
- Thermodynamic graph-rewriting
- Complexity of Conditional Term Rewriting