International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)

held in conjunction with RTA 2001

in Utrecht, The Netherlands, May 26, 2001




Proceedings




Post-Workshop Proceedings