C Benzmüller, B Woltzenlogel Paleo

ECAI 2014, 93-98, 2014

C Benzmüller, D Miller

Handbook of the History of Logic 9, 215-254, 2014

C Benzmüller, BW Paleo

Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016

J Zahnentferner

Cryptology ePrint Archive, 2018

OD Aguiar, LA Andrade, JJ Barroso, L Camargo Filho, LA Carneiro, ...

Classical and Quantum Gravity 21 (5), S457, 2004

D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo

International Conference on Automated Deduction, 222-236, 2011

C Benzmüller, L Weber, B Woltzenlogel Paleo

Logica Universalis 11 (1), 139-151, 2017

S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo

International Conference on Intelligent Computer Mathematics, 462-477, 2008

OD Aguiar, LA Andrade, JJ Barroso, F Bortoli, LA Carneiro, PJ Castro, ...

Classical and Quantum Gravity 22 (10), S209, 2005

C Benzmüller, B Woltzenlogel Paleo

International Computer Science Symposium in Russia, 398-411, 2015

P Fontaine, S Merz, B Woltzenlogel Paleo

Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011

C Benzmüller, B Woltzenlogel Paleo

Reasoning Web International Summer School, 32-74, 2015

C Benzmüller, BW Paleo

Archive of Formal Proofs 2013, 2013

B Woltzenlogel Paleo

International Conference on Logic for Programming Artificial Intelligence …, 2010

D Deharbe, P Fontaine, BW Paleo

PxTP 2011: First International Workshop on Proof eXchange for Theorem …, 2011

J Slaney, B Woltzenlogel Paleo

Journal of Automated Reasoning 60, 133-156, 2018

C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...

User Interfaces for Theorem Provers, 2012

C Benzmüller, BW Paleo

arXiv preprint arXiv:1308.4526, 2013

J Zahnentferner

Cryptology ePrint Archive, 2018

J Boudou, B Woltzenlogel Paleo

International Conference on Automated Reasoning with Analytic Tableaux and …, 2013