[Back]


Publications in Scientific Journals:
S. Hetzl, G. Reis, D. Weller:
"Algorithmic Introduction of Quantified Cuts";
CoRR - Computing Research Repository, abs/1401.4330 (2014), 38 pages.

Electronic version of the publication:
http://dblp.uni-trier.de/

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