Bertram Felgenhauer

发表

Bertram Felgenhauer, 2017, ARCADE@CADE.
Bertram Felgenhauer, 2018, Arch. Formal Proofs.
Bertram Felgenhauer, Franziska Rapp, Bertram Felgenhauer, 2018, ICTAC.
Bertram Felgenhauer, 2020, Arch. Formal Proofs.
Vincent van Oostrom, Bertram Felgenhauer, V. V. Oostrom, 2013, RTA.
Bertram Felgenhauer, Julian Nagele, Aart Middeldorp, 2015, RTA.
Bertram Felgenhauer, Christian Sternagel, Martin Avanzini, 2013, ArXiv.
Bertram Felgenhauer, René Thiemann, René Thiemann, 2017, Inf. Comput..
Vincent van Oostrom, Bertram Felgenhauer, Aart Middeldorp, 2014, FSTTCS.
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2011, RTA.
Bertram Felgenhauer, Julian Nagele, Aart Middeldorp, 2017, CADE.
Bertram Felgenhauer, Aart Middeldorp, Franziska Rapp, 2019, CPP.
Bertram Felgenhauer, René Thiemann, René Thiemann, 2014, LATA.
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2011, FSTTCS.
Vincent van Oostrom, Bertram Felgenhauer, Julian Nagele, 2016, Arch. Formal Proofs.
Bertram Felgenhauer, Aart Middeldorp, 2017, ICTAC.
Bertram Felgenhauer, Bertram Felgenhauer, 2017, Log. Methods Comput. Sci..
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2014, Journal of Automated Reasoning.
Bertram Felgenhauer, 2015, Arch. Formal Proofs.
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2011, CADE.
Bertram Felgenhauer, Julian Nagele, Harald Zankl, 2016, Log. Methods Comput. Sci..
Bertram Felgenhauer, Frazer Jarvis, Bertram Felgenhauer, 2005 .
Bertram Felgenhauer, René Thiemann, Christian Sternagel, 2021, Arch. Formal Proofs.
Bertram Felgenhauer, Aart Middeldorp, Alexander Lochmann, 2021, TACAS.