Record link: 
http://hdl.handle.net/20.500.12708/41178
-
Title: 
Herbrand-confluence for cut elimination in classical first order logic
en
Citation: 
Hetzl, S., & Straßburger, L. (2012). Herbrand-confluence for cut elimination in classical first order logic. In P. Cegielski & A. Durand (Eds.), Computer Science Logic (CSL’12) - 26th International Workshop/21st Annual Conference of the EACSL (pp. 320–334). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.320
-
Publisher DOI: 
10.4230/LIPIcs.CSL.2012.320
-
Publication Type: 
Konferenzbeitrag - Full-Paper Contribution
de
 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Hetzl, Stefan 
Straßburger, Lutz 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
-
Published in: 
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL 
-
ISBN: 
978-3-939897-42-2
-
Volume: 
16
-
Date (published): 
2012
-
Event name: 
The 21st EACSL Annual Conferences on Computer Science Logic 
-
Event date: 
3-Sep-2012 - 6-Sep-2012
-
Event place: 
UPEC Université, France
-
Number of Pages: 
15
-
Publisher: 
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
Publisher: 
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl
-
Peer reviewed: 
Yes
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
Mathematik, Informatik
-
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)

107
checked on Sep 15, 2023

Google ScholarTM

Check