Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Baaz, C. Fermüller:
"Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic";
Vortrag: Annual Conference of the European Association for Computer Science Logic (CSL),
Berlin;
07.10.2015
- 10.10.2015; in: "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)",
S. Kreutzer (Hrg.);
LIPIcs 41
(2015),
ISBN: 978-3-939897-90-3;
14 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.CSL.2015.94
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_241936.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.