Electronic Notes in Theoretical Computer Science, Volume 57

Volume 57, 2001

1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), Utrecht, The Netherlands, May 26, 2001