<div class="csl-bib-body">
<div class="csl-entry">Hetzl, S., Leitsch, A., Weller, D., & Woltzenlogel-Paleo, B. (2009). A Clausal Approach to Proof Analysis in Second-Order Logic. In A. Nerode & S. Artemov (Eds.), <i>LFCS 2009: Logical Foundations of Computer Science</i> (pp. 214–229). Springer, LNCS. https://doi.org/10.1007/978-3-540-92687-0_15</div>
</div>
-
dc.identifier.isbn
3-540-92686-0
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/52657
-
dc.publisher
Springer, LNCS
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
A Clausal Approach to Proof Analysis in Second-Order Logic
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
LFCS 2009: Logical Foundations of Computer Science
-
dc.relation.isbn
978-3-540-92687-0
-
dc.relation.doi
10.1007/978-3-540-92687-0
-
dc.relation.issn
0302-9743
-
dc.description.startpage
214
-
dc.description.endpage
229
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
5407
-
tuw.booktitle
LFCS 2009: Logical Foundations of Computer Science
-
tuw.container.volume
5407
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.book.chapter
15
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-540-92687-0_15
-
dc.description.numberOfPages
16
-
tuw.author.orcid
0000-0002-6461-5982
-
tuw.event.name
Symposium on Logical Foundations of Computer Science (LFCS 2009)
-
tuw.event.startdate
03-01-2009
-
tuw.event.enddate
06-01-2009
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Deerfield Beach, FL
-
tuw.event.country
US
-
tuw.event.presenter
Weller, Daniel
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.dept
E185 - Institut für Computersprachen
-
crisitem.author.orcid
0000-0002-6461-5982
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
