Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
K. Gmeiner, B. Gramlich, F. Schernhammer:
"On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems";
Vortrag: 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 28 - June 2, 2012, Nagoya, Japan.,
Nagoya, Japan;
28.05.2012
- 02.06.2012; 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;
S. 193
- 208.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.RTA.2012.193
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_216395.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.