Follow
Florian Rabe
Florian Rabe
Verified email at fau.de - Homepage
Title
Cited by
Cited by
Year
A scalable module system
F Rabe, M Kohlhase
Information and Computation 230, 1-54, 2013
1752013
THF0–the core of the TPTP language for higher-order logic
C Benzmüller, F Rabe, G Sutcliffe
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
782008
Project abstract: logic atlas and integrator (LATIN)
M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe
International Conference on Intelligent Computer Mathematics, 289-291, 2011
742011
A practical module system for LF
F Rabe, C Schürmann
Proceedings of the Fourth International Workshop on Logical Frameworks and …, 2009
612009
The MMT API: a generic MKM system
F Rabe
International Conference on Intelligent Computer Mathematics, 339-343, 2013
592013
Notations for living mathematical documents
M Kohlhase, C Müller, F Rabe
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008
572008
The Mizar mathematical library in OMDoc: translation and applications
M Iancu, M Kohlhase, F Rabe, J Urban
Journal of Automated Reasoning 50 (2), 191-202, 2013
552013
How to identify, translate and combine logics?
F Rabe
Journal of Logic and Computation 27 (6), 1753-1798, 2017
512017
Representing logics and logic translations
F Rabe
Jacobs University Bremen, 2008
502008
Publishing math lecture notes as linked data
C David, M Kohlhase, C Lange, F Rabe, N Zhiltsov, V Zholudev
Extended Semantic Web Conference, 370-375, 2010
482010
Integrating web services into active mathematical documents
J Giceva, C Lange, F Rabe
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009
482009
Towards logical frameworks in the heterogeneous tool set hets
M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe, K Sojakova
Recent Trends in Algebraic Development Techniques: 20th International …, 2012
442012
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism.
C Kaliszyk, G Sutcliffe, F Rabe
PAAR@ IJCAR, 41-55, 2016
402016
Towards MKM in the large: Modular representation and scalable software architecture
M Kohlhase, F Rabe, V Zholudev
Intelligent Computer Mathematics: 10th International Conference, AISC 2010 …, 2010
382010
Interoperability in the OpenDreamKit project: the math-in-the-middle approach
PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
372016
Classification of alignments between concepts of formal mathematical systems
D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe
International Conference on Intelligent Computer Mathematics, 83-98, 2017
332017
A logical framework combining model and proof theory
F Rabe
Mathematical Structures in Computer Science 23 (5), 945-1001, 2013
312013
QED reloaded: towards a pluralistic formal library of mathematical knowledge
M Kohlhase, F Rabe
Journal of Formalized Reasoning 9 (1), 201-234, 2016
272016
A query language for formal mathematical libraries
F Rabe
International Conference on Intelligent Computer Mathematics, 143-158, 2012
262012
Formalising foundations of mathematics
M Iancu, F Rabe
Mathematical Structures in Computer Science 21 (4), 883-911, 2011
262011
The system can't perform the operation now. Try again later.
Articles 1–20