Gramlich, B., & Lucas, S. (2005). Reduction Strategies in Rewriting and Programming. Journal of Symbolic Computation, 40(1), 745–747. https://doi.org/10.1016/j.jsc.2004.12.006
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.
de
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.
