Bertram Felgenhauer
发表
Bertram Felgenhauer,
F. Jarvis,
2006
.
J. Simonsen,
Bertram Felgenhauer,
M. H. Kirkeby,
2016
.
Bertram Felgenhauer,
Aart Middeldorp,
Harald Zankl,
2014,
Journal of Automated Reasoning.
Bertram Felgenhauer,
Aart Middeldorp,
Harald Zankl,
2011,
CADE.
Bertram Felgenhauer,
René Thiemann,
René Thiemann,
2017,
Inf. Comput..
Bertram Felgenhauer,
René Thiemann,
René Thiemann,
2014,
LATA.
Bertram Felgenhauer,
Frazer Jarvis,
Bertram Felgenhauer,
2005
.
Bertram Felgenhauer,
Aart Middeldorp,
Alexander Lochmann,
2021,
TACAS.
Bertram Felgenhauer,
Aart Middeldorp,
Alexander Lochmann,
2021,
CPP.
Bertram Felgenhauer,
Franziska Rapp,
Bertram Felgenhauer,
2018,
ICTAC.
Bertram Felgenhauer,
Bertram Felgenhauer,
2017,
Log. Methods Comput. Sci..
Bertram Felgenhauer,
Julian Nagele,
Harald Zankl,
2016,
Log. Methods Comput. Sci..
Vincent van Oostrom,
Bertram Felgenhauer,
Aart Middeldorp,
2014,
FSTTCS.
Bertram Felgenhauer,
Christian Sternagel,
Martin Avanzini,
2013,
ArXiv.
Vincent van Oostrom,
Bertram Felgenhauer,
V. V. Oostrom,
2013,
RTA.