Talks and Poster Presentations (with Proceedings-Entry):

K. Gmeiner, B. Gramlich:
"Transformations of Conditional Rewrite Systems Revisited";
Talk: 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy; 2008-06-13 - 2008-06-16; in: "Recent Trends in Algebraic Development Techniques (WADT 2008) - Revised Selected Papers", A. Corradini, U. Montanari (ed.); Springer, LNCS 5486 (2009), ISBN: 978-3-642-03428-2; 166 - 186.

English abstract:
We revisit known transformations of conditional rewrite systems to unconditional ones in a systematic way. We present a unified framework for describing, analyzing and classifying such transformations, discuss the major problems arising, and finally present a new transformation which has some advantages as compared to the approach of [Serbanuta/Rosu-RTA'06]. The key feature of our new approach (for left-linear confluent normal 1-CTRSs) is that it is backtracking-free due to an appropriate encoding of the conditions.

conditional rewriting, unconditional rewriting, transformations, unified framework

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

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