A sequential reduction strategy
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Term rewriting and all that
Information and Computation - Special issue on RTA-98
Type introduction for equational rewriting
Acta Informatica
Computing in Systems Described by Equations
Computing in Systems Described by Equations
Normalisation in Weakly Orthogonal Rewriting
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Effective Reduction and Conversion Strategies for Combinators
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Reduction strategies for left-linear term rewriting systems
Processes, Terms and Cycles
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science
Hi-index | 0.00 |
In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the definition of such strategies is the presence of reduction cycles that may 'trap' a strategy as it is memory-free. We exploit a recently (re)discovered fact that there are no reduction cycles in orthogonal rewrite systems when each term has a normal form, in order to enhance some of the theorems on strategies, both with respect to their scope and the proof of their correctness.