Record link: 
http://hdl.handle.net/20.500.12708/41154
-
Title: 
A systematic approach to canonicity in the classical sequent calculus
en
Citation: 
Chaudhuri, K., Hetzl, S., & Miller, D. (2012). A systematic approach to canonicity in the classical sequent calculus. In P. Cegielski & A. Durand (Eds.), Computer Science Logic (CSL’12) - 26th International Workshop/21st Annual Conference of the EACSL (pp. 183–187). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.183
-
Publisher DOI: 
10.4230/LIPIcs.CSL.2012.183
-
Publication Type: 
Konferenzbeitrag - Full-Paper Contribution
de
 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Chaudhuri, Kaustuv 
Hetzl, Stefan 
Miller, Dale 
-
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: 
5
-
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)

102
checked on Sep 15, 2023

Google ScholarTM

Check