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 © Sat May 16 23:48:29 2009
by Michael Ley (ley@uni-trier.de)