Workshop on Reduction Strategies in Rewriting and Programming (WRS)
WRS 2003: Valencia, Spain
WRS 2002: Copenhagen, Denmark
WRS 2001: Utrecht, The Netherlands
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team