Talks and Poster Presentations (with Proceedings-Entry):
K. Gmeiner, B. Gramlich, F. Schernhammer:
"On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems";
Talk: 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 28 - June 2, 2012, Nagoya, Japan.,
Nagoya, Japan;
2012-05-28
- 2012-06-02; in: "Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA'12)",
LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
(2012),
ISBN: 978-3-939897-38-5;
193
- 208.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.RTA.2012.193
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_216395.pdf
Created from the Publication Database of the Vienna University of Technology.