Workshop on Reduction Strategies in Rewriting and Programming (WRS)

WRS 2003: Valencia, Spain

Proceedings: ENTCS 86(4)

WRS 2002: Copenhagen, Denmark

WRS 2002 Home Page

WRS 2001: Utrecht, The Netherlands

Proceedings: ENTCS 57
a service of Schloss Dagstuhl - Leibniz Center for Informatics