<div class="csl-bib-body">
<div class="csl-entry">Gmeiner, K., Gramlich, B., & Schernhammer, F. (2012). On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. In A. Tiwari (Ed.), <i>Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA’12)</i> (pp. 193–208). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.RTA.2012.193</div>
</div>
-
dc.identifier.isbn
978-3-939897-38-5
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/54554
-
dc.language.iso
en
-
dc.relation.ispartofseries
Leibniz International Proceedings in Informatics (LIPIcs)
-
dc.title
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
-
dc.relation.isbn
978-3-939897-38-5
-
dc.relation.issn
1868-8969
-
dc.description.startpage
193
-
dc.description.endpage
208
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
tuw.relation.publisherplace
Dagstuhl
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.4230/LIPIcs.RTA.2012.193
-
dc.description.numberOfPages
16
-
tuw.editor.orcid
0000-0002-5153-2686
-
tuw.event.name
23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 28 - June 2, 2012, Nagoya, Japan.
