Record link: 
http://hdl.handle.net/20.500.12708/54554
-
Title: 
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems
en
Citation: 
Gmeiner, K., Gramlich, B., & Schernhammer, F. (2012). On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. In A. Tiwari (Ed.), Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA’12) (pp. 193–208). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.RTA.2012.193
-
Publisher DOI: 
10.4230/LIPIcs.RTA.2012.193
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Gmeiner, Karl 
Gramlich, Bernhard 
Schernhammer, Felix 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA'12) 
-
ISBN: 
978-3-939897-38-5
-
Date (published): 
2012
-
Event name: 
23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 28 - June 2, 2012, Nagoya, Japan. 
-
Event date: 
28-May-2012 - 2-Jun-2012
-
Event place: 
Nagoya, Japan, Austria
-
Number of Pages: 
16
-
Publisher: 
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl
-
Peer reviewed: 
Yes
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

176
checked on Nov 23, 2023

Download(s)

1
checked on Nov 23, 2023

Google ScholarTM

Check