Electronic Notes in Theoretical Computer Science, Volume 124

Volume 124, Number 1, March 2005

Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004)

Volume 124, Number 2, April 2005

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