Edit Profile Woltzenlogel Paleo, Bruno Compute Distance To: Compute Author ID: woltzenlogel-paleo.bruno Published as: Paleo, Bruno Woltzenlogel; Woltzenlogel Paleo, B.; Woltzenlogel Paleo, Bruno External Links: MGP Documents Indexed: 27 Publications since 2008, including 2 Books all top 5 Co-Authors 6 single-authored 6 Benzmüller, Christoph Ewald 4 Leitsch, Alexander 3 Fontaine, Pascal 3 Reis, Giselle 3 Weller, Daniel S. 2 Hetzl, Stefan 2 Merz, Stephan 2 Slaney, John K. 1 Boudou, Joseph 1 Déharbe, David 1 Delahaye, David 1 Dunchev, Tsvetan 1 Fellner, Andreas 1 Gorzny, Jan 1 Itegulov, Daniyar 1 Kanckos, Annika 1 Libal, Tomer 1 Weber, Leon all top 5 Serials 1 Applied Mathematics and Computation 1 Studia Logica 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Studies in Logic (London) 1 Logica Universalis Fields 23 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 21 Publications have been cited 87 times in 50 Documents Cited by ▼ Year ▼ Interacting with modal logics in the coq proof assistant. Zbl 06496834Benzmüller, Christoph; Paleo, Bruno Woltzenlogel 15 2015 Automating Gödel’s ontological proof of God’s existence with higher-order automated theorem provers. Zbl 1366.03169Benzmüller, Christoph; Woltzenlogel Paleo, Bruno 11 2014 Atomic cut introduction by resolution: proof structuring and compression. Zbl 1253.03085Woltzenlogel Paleo, Bruno 9 2010 Herbrand sequent extraction. Zbl 1166.68347Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno 8 2008 Exploiting symmetry in SMT problems. Zbl 1341.68187Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno 7 2011 Compression of propositional resolution proofs via partial regularization. Zbl 1341.68188Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno 6 2011 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 5 2017 Reducing redundancy in cut-elimination by resolution. Zbl 1444.03163Woltzenlogel Paleo, Bruno 4 2017 Compression of propositional resolution proofs by lowering subproofs. Zbl 1401.68274Boudou, Joseph; Woltzenlogel Paleo, Bruno 4 2013 Higher-order modal logics: automation and applications. Zbl 1358.68273Benzmüller, Christoph; Woltzenlogel Paleo, Bruno 3 2015 Scavenger 0.1: a theorem prover based on conflict resolution. Zbl 06778413Itegulov, Daniyar; Slaney, John; Woltzenlogel Paleo, Bruno 2 2017 An object-logic explanation for the inconsistency in Gödel’s ontological theory. Zbl 1370.68258Benzmüller, Christoph; Woltzenlogel Paleo, Bruno 2 2016 On logic embeddings and Gödel’s god. Zbl 06545645Benzmüller, Christoph; Paleo, Bruno Woltzenlogel 2 2015 Towards the compression of first-order resolution proofs by lowering unit clauses. Zbl 06515518Gorzny, Jan; Woltzenlogel Paleo, Bruno 2 2015 NP-completeness of small conflict set generation for congruence closure. Zbl 1377.68090Fellner, Andreas; Fontaine, Pascal; Paleo, Bruno Woltzenlogel 1 2017 All about proofs, proofs for all. Zbl 1334.03007Woltzenlogel Paleo, Bruno (ed.); Delahaye, David (ed.) 1 2015 Contextual natural deduction. Zbl 1437.03045Woltzenlogel Paleo, Bruno 1 2013 Physics and proof theory. Zbl 1291.81015Paleo, Bruno Woltzenlogel 1 2012 Towards CERes in intuitionistic logic. Zbl 1252.03124Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno 1 2012 System description: the proof transformation system CERES. Zbl 1291.68338Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno 1 2010 A clausal approach to proof analysis in second-order logic. Zbl 1211.03018Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno 1 2009 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 5 2017 Reducing redundancy in cut-elimination by resolution. Zbl 1444.03163Woltzenlogel Paleo, Bruno 4 2017 Scavenger 0.1: a theorem prover based on conflict resolution. Zbl 06778413Itegulov, Daniyar; Slaney, John; Woltzenlogel Paleo, Bruno 2 2017 NP-completeness of small conflict set generation for congruence closure. Zbl 1377.68090Fellner, Andreas; Fontaine, Pascal; Paleo, Bruno Woltzenlogel 1 2017 An object-logic explanation for the inconsistency in Gödel’s ontological theory. Zbl 1370.68258Benzmüller, Christoph; Woltzenlogel Paleo, Bruno 2 2016 Interacting with modal logics in the coq proof assistant. Zbl 06496834Benzmüller, Christoph; Paleo, Bruno Woltzenlogel 15 2015 Higher-order modal logics: automation and applications. Zbl 1358.68273Benzmüller, Christoph; Woltzenlogel Paleo, Bruno 3 2015 On logic embeddings and Gödel’s god. Zbl 06545645Benzmüller, Christoph; Paleo, Bruno Woltzenlogel 2 2015 Towards the compression of first-order resolution proofs by lowering unit clauses. Zbl 06515518Gorzny, Jan; Woltzenlogel Paleo, Bruno 2 2015 All about proofs, proofs for all. Zbl 1334.03007Woltzenlogel Paleo, Bruno (ed.); Delahaye, David (ed.) 1 2015 Automating Gödel’s ontological proof of God’s existence with higher-order automated theorem provers. Zbl 1366.03169Benzmüller, Christoph; Woltzenlogel Paleo, Bruno 11 2014 Compression of propositional resolution proofs by lowering subproofs. Zbl 1401.68274Boudou, Joseph; Woltzenlogel Paleo, Bruno 4 2013 Contextual natural deduction. Zbl 1437.03045Woltzenlogel Paleo, Bruno 1 2013 Physics and proof theory. Zbl 1291.81015Paleo, Bruno Woltzenlogel 1 2012 Towards CERes in intuitionistic logic. Zbl 1252.03124Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno 1 2012 Exploiting symmetry in SMT problems. Zbl 1341.68187Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno 7 2011 Compression of propositional resolution proofs via partial regularization. Zbl 1341.68188Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno 6 2011 Atomic cut introduction by resolution: proof structuring and compression. Zbl 1253.03085Woltzenlogel Paleo, Bruno 9 2010 System description: the proof transformation system CERES. Zbl 1291.68338Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno 1 2010 A clausal approach to proof analysis in second-order logic. Zbl 1211.03018Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno 1 2009 Herbrand sequent extraction. Zbl 1166.68347Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno 8 2008 all cited Publications top 5 cited Publications all top 5 Cited by 102 Authors 11 Woltzenlogel Paleo, Bruno 7 Benzmüller, Christoph Ewald 6 Leitsch, Alexander 4 Hetzl, Stefan 4 Reis, Giselle 4 Weller, Daniel S. 3 Fontaine, Pascal 2 Fuenmayor, David 2 Sharygina, Natasha 1 Alpuim, Joao 1 Areces, Carlos 1 Barbosa, Haniel 1 Barré, Nicolas 1 Barrett, Clark W. 1 Besson, Frédéric 1 Béziau, Jean-Yves 1 Birkedal, Lars 1 Blanchette, Jasmin Christian 1 Böhme, Sascha 1 Bright, Curtis 1 Bruttomesso, Roberto 1 Cabodi, Gianpiero 1 Calude, Cristian S. 1 Cerna, David M. 1 Chen, Shuwei 1 Cheng, Xi 1 Corbineau, Pierre 1 Czarnecki, Krzysztof 1 Davis, Ernest E. 1 Déharbe, David 1 Demange, Delphine 1 Deters, Morgan 1 Dross, Claire 1 Duclos, Mathilde 1 Eberhard, Sebastian 1 Ebner, Gabriel 1 Fellner, Andreas 1 Filliâtre, Jean-Christophe 1 Fleury, Mathias 1 Fox, Anthony C. J. 1 Ganesh, Vijay 1 Geuvers, Jan Herman 1 Ghourabi, Fadoua 1 Glück, Roland 1 Gorzny, Jan 1 Gu, Ming 1 He, Xingxing 1 Heinle, Albert 1 Hubert, Laurent 1 Hyvärinen, Antti E. J. 1 Ida, Tetsuo 1 Jensen, Thomas Sejr 1 Kanckos, Annika 1 Kasem, Asem 1 Kesner, Delia 1 Kotsireas, Ilias S. 1 Kuncak, Viktor 1 Lakhnech, Yassine 1 Lengrand, Stéphane Jean Eric 1 Lettmann, Michael Peter 1 Liu, Jun 1 Loiacono, Carmelo 1 Lolic, Anela 1 Marescotti, Matteo 1 Merz, Stephan 1 Monfort, Vincent 1 Moy, Yannick 1 Nanevski, Aleksandar 1 Nederpelt, Rob 1 Oliveira, Bruno C.d. S. 1 Orbe, Ezequiel 1 Parent, Xavier 1 Paulson, Lawrence Charles 1 Pichardie, David 1 Rahli, Vincent 1 Reynolds, Andrew 1 Rollini, Simone Fulvio 1 Schlaipfer, Matthias 1 Sewell, Thomas D. 1 Shi, Zhiyuan 1 Silvestre, Ricardo Sousa 1 Song, Xiaoyu 1 Stucke, Insa 1 Sultana, Nik 1 Sun, Jiaguang 1 Sutcliffe, Geoff 1 Svendsen, Kasper 1 Theiss, Frank 1 Thompson, Declan 1 Tinelli, Cesare 1 Tsitovich, Aliaksei 1 Turpin, Tiphaine 1 van der Torre, Leendert W. N. 1 Vendraminetto, Danilo 1 Weber, Leon 1 Weber, Tjark 1 Weissenbacher, Georg 1 Wolfsteiner, Simon 1 Xu, Yang 1 Zhong, Xiaomei ...and 2 more Authors all top 5 Cited in 13 Serials 7 Journal of Automated Reasoning 4 Theoretical Computer Science 4 Formal Methods in System Design 3 Annals of Pure and Applied Logic 2 Artificial Intelligence 2 Logica Universalis 1 Applied Mathematics and Computation 1 Information Sciences 1 Studia Logica 1 Bulletin of the Section of Logic 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Indagationes Mathematicae. New Series all top 5 Cited in 9 Fields 36 Computer science (68-XX) 30 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Geometry (51-XX) 1 Quantum theory (81-XX) Citations by Year