Talks and Poster Presentations (with Proceedings-Entry):
B. Woltzenlogel-Paleo, J. Boudou:
"Compression of Propositional Resolution Proofs by Lowering Subproofs";
Talk: Tableaux 2013,
Nancy;
2013-09-16
- 2013-09-19; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013",
D. Galmiche et al. (ed.);
Heidelberg
(2013),
ISBN: 978-3-642-40536-5;
59
- 73.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-40537-2
Created from the Publication Database of the Vienna University of Technology.