Bruno Woltzenlogel Paleo
Author
Alternate names B. Woltzenlogel Paleo, B. W. PALEO, B W Paleo, Bruno Woltzenlogel Paleo
Institution Australian National University
Past institutions TU Wien, Australian National University, Carnegie Mellon University Qatar, University of Waterloo, National University of Rosario +5 more
ORCID: Yes
H-index: 14
I10-index: 16
Works count: 83
Citations count: 551
The Brazilian spherical detector: progress and plans
2004 · O. D. Aguiar, L A Andrade, et al. · Classical and Quantum Gravity
Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
2014 · Christoph Benzmüller, Bruno Woltzenlogel Paleo · European Conference on Artificial Intelligence
Herbrand Sequent Extraction
2008 · Stefan Hetzl, Alexander Leitsch, et al. · Lecture notes in computer science