DC Field
Value
Language
dc.contributor.author
Boudou, Joseph
-
dc.contributor.author
Woltzenlogel-Paleo, Bruno
-
dc.contributor.editor
Galmiche, Didier
-
dc.contributor.editor
Larchey-Wendling, Dominique
-
dc.date.accessioned
2022-08-04T11:55:32Z
-
dc.date.available
2022-08-04T11:55:32Z
-
dc.date.issued
2013
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Boudou, J., &#38; Woltzenlogel-Paleo, B. (2013). Compression of Propositional Resolution Proofs by Lowering Subproofs. In D. Galmiche &#38; D. Larchey-Wendling (Eds.), <i>Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings</i> (pp. 59–73). Springer. https://doi.org/10.1007/978-3-642-40537-2_7</div> </div>
-
dc.identifier.isbn
9783642405365
-
dc.identifier.isbn
9783642405372
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/54664
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Compression of Propositional Resolution Proofs by Lowering Subproofs
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-642-40536-5
-
dc.relation.doi
10.1007/978-3-642-40537-2
-
dc.relation.issn
0302-9743
-
dc.description.startpage
59
-
dc.description.endpage
73
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-642-40537-2_7
-
dc.description.numberOfPages
15
-
tuw.event.name
Tableaux 2013
en
tuw.event.startdate
16-09-2013
-
tuw.event.enddate
19-09-2013
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Nancy
-
tuw.event.country
FR
-
tuw.event.presenter
Woltzenlogel-Paleo, Bruno
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E185 - Institut für Computersprachen
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Conference Paper
Show simple item record

Page view(s)

235
checked on Nov 23, 2023

Google ScholarTM

Check