Electronic Notes in Theoretical Computer Science, Volume 204

Refine list

showing all ?? records

Volume 204, April 2008

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics