Name Card

Full name Familienname, Vorname
Woltzenlogel-Paleo, Bruno
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 25 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno Higher-Order Modal Logics: Automation and ApplicationsKonferenzbeitrag Inproceedings 2015
2Woltzenlogel-Paleo, Bruno Towards the Compression of First-Order Resolution Proofs by Lowering Unit ClausesKonferenzbeitrag Inproceedings 2015
3Woltzenlogel-Paleo, Bruno Interacting with Modal Logics in the Coq Proof AssistantKonferenzbeitrag Inproceedings 2015
4Woltzenlogel-Paleo, Bruno Skeptik: A Proof Compression SystemKonferenzbeitrag Inproceedings 2014
5Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph Formalization and Automated Verification of Gödel's Proof of God's ExistencePräsentation Presentation2014
6Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem ProversKonferenzbeitrag Inproceedings2014
7Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
8Woltzenlogel-Paleo, Bruno Contextual Natural DeductionKonferenzbeitrag Inproceedings 2013
9Boudou, Joseph ; Woltzenlogel-Paleo, Bruno Compression of Propositional Resolution Proofs by Lowering SubproofsKonferenzbeitrag Inproceedings2013
10Leitsch, Alexander ; Reis, Giselle ; Woltzenlogel-Paleo, Bruno Towards CERes in intuitionistic logicKonferenzbeitrag Inproceedings2012
11Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno System feature description: importing refutations into the GAPT frameworkKonferenzbeitrag Inproceedings2012
12Paleo, Bruno Woltzenlogel Physics and Proof TheoryArtikel Article2011
13Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Merz, Stephan ; Deharbe, David Exploiting Symmetry in SMT ProblemsKonferenzbeitrag Inproceedings2011
14Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Merz, Stephan Compression of Propositional Resolution Proofs via Partial RegularizationKonferenzbeitrag Inproceedings2011
15Woltzenlogel-Paleo, Bruno A Deep Natural Deduction CalculusPräsentation Presentation2011
16Woltzenlogel-Paleo, Bruno Compression of Propositional Resolution ProofsPräsentation Presentation2011
17Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Deharbe, David Quantifier Inference Rules for SMT ProofsPräsentation Presentation2011
18Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Libal, Tomer System Description: The Proof Transformation System CERESKonferenzbeitrag Inproceedings2010
19Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno A Clausal Approach to Proof Analysis in Second-Order LogicKonferenzbeitrag Inproceedings 2009
20Woltzenlogel Paleo Bruno - 2009 - A general analysis of cut-elimination by CERes.pdf.jpgWoltzenlogel-Paleo, Bruno A general analysis of cut-elimination by CEResThesis Hochschulschrift 2009

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno All about Proofs, Proofs for AllBuch Book2015
2Fellner Andreas - 2014 - Space congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift 2014