<div class="csl-bib-body">
<div class="csl-entry">Chaudhuri, K., Hetzl, S., & Miller, D. (2012). A systematic approach to canonicity in the classical sequent calculus. In P. Cegielski & A. Durand (Eds.), <i>Computer Science Logic (CSL’12) - 26th International Workshop/21st Annual Conference of the EACSL</i> (pp. 183–187). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.183</div>
</div>
-
dc.identifier.isbn
978-3-939897-42-2
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/41154
-
dc.language.iso
en
-
dc.publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
dc.relation.ispartofseries
Leibniz International Proceedings in Informatics (LIPIcs)
-
dc.title
A systematic approach to canonicity in the classical sequent calculus
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
-
dc.relation.isbn
978-3-939897-42-2
-
dc.relation.issn
1868-8969
-
dc.description.startpage
183
-
dc.description.endpage
187
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
-
tuw.container.volume
16
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
tuw.relation.publisherplace
Dagstuhl
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publisher.doi
10.4230/LIPIcs.CSL.2012.183
-
dc.description.numberOfPages
5
-
tuw.event.name
The 21st EACSL Annual Conferences on Computer Science Logic
-
tuw.event.startdate
03-09-2012
-
tuw.event.enddate
06-09-2012
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
UPEC Université
-
tuw.event.country
FR
-
tuw.event.presenter
Chaudhuri, Kaustuv
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.facultyfocus
Diskrete Mathematik und Geometrie
de
wb.facultyfocus
Discrete Mathematics and Geometry
en
wb.facultyfocus.faculty
E100
-
item.fulltext
no Fulltext
-
item.openairetype
Konferenzbeitrag
-
item.openairetype
Inproceedings
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.languageiso639-1
en
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0002-6461-5982
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
