Record link: 
http://hdl.handle.net/20.500.12708/56008
-
Title: 
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic
en
Citation: 
Baaz, M., & Fermüller, C. (2015). Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. In S. Kreutzer (Ed.), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (pp. 94–109). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2015.94
-
Publisher DOI: 
10.4230/LIPIcs.CSL.2015.94
-
Publication Type: 
Konferenzbeitrag - Full-Paper Contribution
de
 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Baaz, Matthias 
Fermüller, Christian 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
24th EACSL Annual Conference on Computer Science Logic (CSL 2015) 
-
ISBN: 
978-3-939897-90-3
-
Volume: 
41
-
Date (published): 
2015
-
Event name: 
Annual Conference of the European Association for Computer Science Logic (CSL) 
-
Event date: 
7-Oct-2015 - 10-Oct-2015
-
Event place: 
Berlin, EU
-
Number of Pages: 
16
-
Publisher: 
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl
-
Peer reviewed: 
Yes
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
Mathematik
-
Appears in Collections:
Conference Paper

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

94
checked on Jul 1, 2023

Google ScholarTM

Check