×

zbMATH — the first resource for mathematics

Woltzenlogel Paleo, Bruno

Compute Distance To:
Author ID: woltzenlogel-paleo.bruno Recent zbMATH articles by "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

Publications by Year

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 06496834
Benzmü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.03169
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno
11
2014
Atomic cut introduction by resolution: proof structuring and compression. Zbl 1253.03085
Woltzenlogel Paleo, Bruno
9
2010
Herbrand sequent extraction. Zbl 1166.68347
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
8
2008
Exploiting symmetry in SMT problems. Zbl 1341.68187
Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
7
2011
Compression of propositional resolution proofs via partial regularization. Zbl 1341.68188
Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
6
2011
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
5
2017
Reducing redundancy in cut-elimination by resolution. Zbl 1444.03163
Woltzenlogel Paleo, Bruno
4
2017
Compression of propositional resolution proofs by lowering subproofs. Zbl 1401.68274
Boudou, Joseph; Woltzenlogel Paleo, Bruno
4
2013
Higher-order modal logics: automation and applications. Zbl 1358.68273
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno
3
2015
Scavenger 0.1: a theorem prover based on conflict resolution. Zbl 06778413
Itegulov, Daniyar; Slaney, John; Woltzenlogel Paleo, Bruno
2
2017
An object-logic explanation for the inconsistency in Gödel’s ontological theory. Zbl 1370.68258
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno
2
2016
On logic embeddings and Gödel’s god. Zbl 06545645
Benzmüller, Christoph; Paleo, Bruno Woltzenlogel
2
2015
Towards the compression of first-order resolution proofs by lowering unit clauses. Zbl 06515518
Gorzny, Jan; Woltzenlogel Paleo, Bruno
2
2015
NP-completeness of small conflict set generation for congruence closure. Zbl 1377.68090
Fellner, Andreas; Fontaine, Pascal; Paleo, Bruno Woltzenlogel
1
2017
All about proofs, proofs for all. Zbl 1334.03007
Woltzenlogel Paleo, Bruno (ed.); Delahaye, David (ed.)
1
2015
Contextual natural deduction. Zbl 1437.03045
Woltzenlogel Paleo, Bruno
1
2013
Physics and proof theory. Zbl 1291.81015
Paleo, Bruno Woltzenlogel
1
2012
Towards CERes in intuitionistic logic. Zbl 1252.03124
Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno
1
2012
System description: the proof transformation system CERES. Zbl 1291.68338
Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno
1
2010
A clausal approach to proof analysis in second-order logic. Zbl 1211.03018
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
1
2009
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
5
2017
Reducing redundancy in cut-elimination by resolution. Zbl 1444.03163
Woltzenlogel Paleo, Bruno
4
2017
Scavenger 0.1: a theorem prover based on conflict resolution. Zbl 06778413
Itegulov, Daniyar; Slaney, John; Woltzenlogel Paleo, Bruno
2
2017
NP-completeness of small conflict set generation for congruence closure. Zbl 1377.68090
Fellner, Andreas; Fontaine, Pascal; Paleo, Bruno Woltzenlogel
1
2017
An object-logic explanation for the inconsistency in Gödel’s ontological theory. Zbl 1370.68258
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno
2
2016
Interacting with modal logics in the coq proof assistant. Zbl 06496834
Benzmüller, Christoph; Paleo, Bruno Woltzenlogel
15
2015
Higher-order modal logics: automation and applications. Zbl 1358.68273
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno
3
2015
On logic embeddings and Gödel’s god. Zbl 06545645
Benzmüller, Christoph; Paleo, Bruno Woltzenlogel
2
2015
Towards the compression of first-order resolution proofs by lowering unit clauses. Zbl 06515518
Gorzny, Jan; Woltzenlogel Paleo, Bruno
2
2015
All about proofs, proofs for all. Zbl 1334.03007
Woltzenlogel 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.03169
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno
11
2014
Compression of propositional resolution proofs by lowering subproofs. Zbl 1401.68274
Boudou, Joseph; Woltzenlogel Paleo, Bruno
4
2013
Contextual natural deduction. Zbl 1437.03045
Woltzenlogel Paleo, Bruno
1
2013
Physics and proof theory. Zbl 1291.81015
Paleo, Bruno Woltzenlogel
1
2012
Towards CERes in intuitionistic logic. Zbl 1252.03124
Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno
1
2012
Exploiting symmetry in SMT problems. Zbl 1341.68187
Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
7
2011
Compression of propositional resolution proofs via partial regularization. Zbl 1341.68188
Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
6
2011
Atomic cut introduction by resolution: proof structuring and compression. Zbl 1253.03085
Woltzenlogel Paleo, Bruno
9
2010
System description: the proof transformation system CERES. Zbl 1291.68338
Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno
1
2010
A clausal approach to proof analysis in second-order logic. Zbl 1211.03018
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
1
2009
Herbrand sequent extraction. Zbl 1166.68347
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel; Woltzenlogel Paleo, Bruno
8
2008
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

Citations by Year