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:

Created from the Publication Database of the Vienna University of Technology.