8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)

cl-banner

8^th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)

Aart Middeldorp (ed.)

special issue, Electronic Notes in Theoretical Computer Science 237, pp. 1 – 126, 2009.

doi:10.1016/j.entcs.2009.03.031

@proceedings{WRS2008,
 editor    = "Aart Middeldorp",
 title     = "Proceedings of the 8th International Workshop on Reduction
              Strategies in Rewriting and Programming (WRS 2008)",
 publisher = "Elsevier",
 series    = "Electronic Notes in Theoretical Computer Science",
 volume    = 237,
 pages     = "1--216",
 year      = 2009
}