Books and Book Editorships:
B. Gramlich, S. Lucas (ed.):
"Reduction Strategies in Rewriting and Programming, Special Issue of Journal of Symbolic Computation, Volume 40, 2005, pp. 745-903";
Elsevier,
Elsevier,
2005,
ISSN: 0747-7171;
169 pages.
English abstract:
This Special Issue of the "Journal of Symbol Computation (JSC) on "Reduction Strategies in Rewriting and Programming" contains 4 papers on these topics that have been selected from the submitted papers based on a thorough and high-quality refereeing process according to the JSC-standard.
German abstract:
Diese Sonderausgabe des "Journal of Symbolic Computation (JSC)" zum Thema "Reduction Strategies in Rewriting and Programming" enthält 4 Artikel zu diesem Themenbereich, die nach sorgfältiger und strenger Begutachtung gemäß den JSC-Kriterien aus den eingereichten Arbeiten ausgewählt wurden.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/pub-inf_3099.pdf
Created from the Publication Database of the Vienna University of Technology.