External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 124, Issue 2

    1 -- 2Sergio Antoy, Yoshihito Toyama. Preface
    3 -- 9Claude Kirchner. Strategic Rewriting
    11 -- 15Francisco Durán. Maude s Internal Strategies
    17 -- 28Francisco Durán, Manuel Roldán, Antonio Vallecillo. Invariant-Driven Strategies for Maude
    29 -- 49Irène Durand. A Tool for Term Rewrite Systems and Tree Automata
    51 -- 63Jeroen Ketema. Some Undecidable Approximations of TRSs
    65 -- 77Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom. Vicious Circles in Orthogonal Term Rewriting Systems
    79 -- 100Olivier Danvy. From Reduction-based to Reduction-free Normalization
    101 -- 112Ralf Lämmel. Programmable Rewriting Strategies in Haskell: -- White Paper --
    113 -- 118Salvador Lucas. Strategies in Programming Languages Today
    runs on