International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)

held in conjunction with RTA 2001

in Utrecht, The Netherlands, May 26, 2001

Proceedings

bibtex entry:

@Proceedings{wrs01,
  title     = {Proc.\ International Workshop on Reduction Strategies
              in Rewriting and Programming (WRS 2001)},  
  year      = 2001,
  editor    = {Bernhard Gramlich and Salvador Lucas},
  volume    = {SPUPV 2359},
  address   = {Utrecht, The Netherlands},
  month     = may,
  publisher = {Servicio de Publicaciones - Universidad Polit{\'e}cnica de Valencia},
  annote    = {187 pages}
}

coverpage (ps)
coverpage inside (ps)
preface + table of contents (ps)
proceedings volume (gzipped pdf): [3 MB; expands to 9.4 MB]
proceedings volume (gzipped ps): [6.6 MB; expands to 22.9 MB]

Post-Workshop Proceedings

Post-workshop proceedings of WRS 2001 have been published in the Electronic Notes in Computer Science (ENTCS) series of Elsevier as Volume 57.

bibtex entry:

@Proceedings{wrs01-entcs57,
  title     = {1st International Workshop on Reduction Strategies in 
               Rewriting and Programming (WRS 2001)}, 
  year      = 2001,
  editor    = {Bernhard Gramlich and Salvador Lucas},
  volume    = 57,
  series    = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier Science Publishers}
}