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)
http://dx.doi.org/10.4230/LIPIcs.CSL.2015.94
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_241936.pdf
Created from the Publication Database of the Vienna University of Technology.