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
Copyright © Mon Mar 15 03:56:43 2010
by Michael Ley (ley@uni-trier.de)
