<div class="csl-bib-body">
<div class="csl-entry">Woltzenlogel-Paleo, B. (2013). Contextual Natural Deduction. In S. Artemov & A. Nerode (Eds.), <i>Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings</i> (pp. 372–386). Springer LNCS. https://doi.org/10.1007/978-3-642-35722-0_27</div>
</div>
-
dc.identifier.isbn
9783642357213
-
dc.identifier.isbn
9783642357220
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/54663
-
dc.language.iso
en
-
dc.publisher
Springer LNCS
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Contextual Natural Deduction
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-642-35721-3
-
dc.relation.doi
10.1007/978-3-642-35722-0
-
dc.relation.issn
0302-9743
-
dc.description.startpage
372
-
dc.description.endpage
386
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
Heidelberg
-
tuw.booktitle
Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings