Talks and Poster Presentations (with Proceedings-Entry):

M. Baaz, C. Fermüller:
"Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic";
Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Berlin; 2015-10-07 - 2015-10-10; in: "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)", S. Kreutzer (ed.); LIPIcs 41 (2015), ISBN: 978-3-939897-90-3; 14 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

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