Electronic Notes in Theoretical Computer Science, Volume 204

Volume 204, April 2008

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)
maintained by Schloss Dagstuhl LZI at University of Trier