[Back]


Scientific Reports:

K. Gmeiner, B. Gramlich, F. Schernhammer:
"On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems";
Report No. E1852-2012-01, 2012; 21 pages.



Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_216399.pdf


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