Florian Rabe
发表
Florian Rabe,
2009
.
Florian Rabe,
Fulya Horozal,
2012
.
H. Geuvers,
J. Corneli,
A. Pease,
2017,
CICM.
W. Farmer,
J. Carette,
M. Kohlhase,
2020
.
P. Schmitt,
Florian Rabe,
S. Schlager,
2005
.
Florian Rabe,
2017
.
M. Kohlhase,
Florian Rabe,
Mihnea Iancu,
2016
.
Florian Rabe,
2016
.
Florian Rabe,
Mihnea Iancu,
2012
.
M. Kohlhase,
Florian Rabe,
Fulya Horozal,
2010
.
Florian Rabe,
2010,
The Bulletin of Symbolic Logic.
T. Mossakowski,
Florian Rabe,
M. Codescu,
2017
.
Florian Rabe,
2006
.
Florian Rabe,
Navid Roux,
2020,
WADT.
Jacques Carette,
William M. Farmer,
Michael Kohlhase,
2020,
The Mathematical Intelligencer.
Florian Rabe,
2015,
Logica Universalis.
Florian Rabe,
Florian Rabe,
2012,
AISC/MKM/Calculemus.
Jacques Carette,
William M. Farmer,
Florian Rabe,
2020,
ArXiv.
Florian Rabe,
Florian Rabe,
2015,
ACM Trans. Comput. Log..
M. Kohlhase,
Florian Rabe,
Stefania Dumbrava,
2010
.
Cezary Kaliszyk,
Florian Rabe,
C. Kaliszyk,
2020,
CICM.
Christoph Lange,
Michael Kohlhase,
Florian Rabe,
2009
.
Florian Rabe,
Florian Rabe,
2008
.
Florian Rabe,
Dennis Müller,
Yufei Liu,
2017,
PxTP.
Michael Kohlhase,
Florian Rabe,
Fulya Horozal,
2012,
AISC/MKM/Calculemus.
Florian Rabe,
Mihnea Iancu,
Florian Rabe,
2012,
AISC/MKM/Calculemus.
Claudio Sacerdoti Coen,
Michael Kohlhase,
Florian Rabe,
2019,
CICM.
Jacques Carette,
William M. Farmer,
Michael Kohlhase,
2019,
ArXiv.
Florian Rabe,
Michael Kohlhase,
Katja Berčič,
2020,
it Inf. Technol..
Geoff Sutcliffe,
Florian Rabe,
Petr Pudlák,
2009,
J. Appl. Log..
Florian Rabe,
Florian Rabe,
2015,
Logica Universalis.
Michael Kohlhase,
Florian Rabe,
M. Kohlhase,
2016,
J. Formaliz. Reason..
Geoff Sutcliffe,
Christoph Benzmüller,
Florian Rabe,
2008,
IJCAR.
Florian Rabe,
Mihnea Iancu,
Florian Rabe,
2010
.
Michael Kohlhase,
Florian Rabe,
M. Kohlhase,
2012,
Math. Comput. Sci..
Florian Rabe,
Florian Rabe,
2006,
IJCAR.
Florian Rabe,
K. Müller,
Stefan C. M. Lechner,
2005
.
Florian Rabe,
Steven Awodey,
S. Awodey,
2009,
TLCA.
Michael Kohlhase,
Florian Rabe,
Felix Mance,
2013,
MKM/Calculemus/DML.
Claudio Sacerdoti Coen,
Michael Kohlhase,
Florian Rabe,
2020
.
Florian Rabe,
Florian Rabe,
2017,
J. Log. Comput..
Till Mossakowski,
Florian Rabe,
Mihai Codescu,
2016,
WADT.
Florian Rabe,
Florian Rabe,
2013,
Mathematical Structures in Computer Science.
Florian Rabe,
C. Benzmuller,
Colin Rothgang,
2023,
2305.15382.
Michael Kohlhase,
Florian Rabe,
Fulya Horozal,
2014,
CICM.
Florian Rabe,
Mihnea Iancu,
Florian Rabe,
2011,
Mathematical Structures in Computer Science.
Michael Kohlhase,
Florian Rabe,
M. Kohlhase,
2011,
Inf. Comput..
Florian Rabe,
Fulya Horozal,
Florian Rabe,
2009,
LSFA.
Florian Rabe,
Mihnea Iancu,
Florian Rabe,
2002
.
Michael Kohlhase,
Florian Rabe,
M. Kohlhase,
2008,
LPAR Workshops.
Valeria de Paiva,
Joseph A. Goguen,
Till Mossakowski,
2007,
Int. J. Softw. Informatics.
Till Mossakowski,
Florian Rabe,
Lutz Schröder,
2022
.
Michael Kohlhase,
Florian Rabe,
Vyacheslav Zholudev,
2010,
AISC'10/MKM'10/Calculemus'10.
Thibault Gauthier,
Cezary Kaliszyk,
Michael Kohlhase,
2017,
CICM.
Florian Rabe,
Michael Kohlhase,
M. Kohlhase,
2020,
Journal of Automated Reasoning.
Christoph Lange,
Florian Rabe,
Sean McLaughlin,
2008,
SemWiki.
Christoph Lange,
Florian Rabe,
Jana Giceva,
2009,
Calculemus/MKM.
Josef Urban,
Michael Kohlhase,
Florian Rabe,
2013,
Journal of Automated Reasoning.
Cezary Kaliszyk,
Florian Rabe,
C. Kaliszyk,
2014,
CICM.
M. Kohlhase,
T. Koprucki,
K. Tabelow,
2018,
Optical and Quantum Electronics.