cl-banner

8th 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

BibTeX 

@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
}
Nach oben scrollen