Electronic Notes in Theoretical Computer Science, Volume 57

Refine list

showing all ?? records

Volume 57, 2001

1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), Utrecht, The Netherlands, May 26, 2001
a service of  Schloss Dagstuhl - Leibniz Center for Informatics