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
1482013
THF0–the core of the TPTP language for higher-order logic
C Benzmüller, F Rabe, G Sutcliffe
International Joint Conference on Automated Reasoning, 491-506, 2008
752008
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
732011
The MMT API: a generic MKM system
F Rabe
International Conference on Intelligent Computer Mathematics, 339-343, 2013
582013
Notations for living mathematical documents
M Kohlhase, C Müller, F Rabe
International Conference on Intelligent Computer Mathematics, 504-519, 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
532013
A practical module system for LF
F Rabe, C Schürmann
Proceedings of the Fourth International Workshop on Logical Frameworks and …, 2009
532009
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
512010
Integrating web services into active mathematical documents
J Giceva, C Lange, F Rabe
International Conference on Intelligent Computer Mathematics, 279-293, 2009
492009
Representing logics and logic translations
F Rabe
Jacobs University Bremen, 2008
482008
How to identify, translate and combine logics?
F Rabe
Journal of Logic and Computation 27 (6), 1753-1798, 2017
472017
Towards logical frameworks in the heterogeneous tool set hets
M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe, K Sojakova
International Workshop on Algebraic Development Techniques, 139-159, 2010
412010
Towards MKM in the large: Modular representation and scalable software architecture
M Kohlhase, F Rabe, V Zholudev
International Conference on Intelligent Computer Mathematics, 370-384, 2010
332010
A logical framework combining model and proof theory
F Rabe
Mathematical Structures in Computer Science 23 (5), 945-1001, 2013
322013
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, ...
International Conference on Intelligent Computer Mathematics, 117-131, 2016
302016
Formalising foundations of mathematics
M Iancu, F Rabe
Mathematical Structures in Computer Science 21 (4), 883-911, 2011
272011
TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism.
C Kaliszyk, G Sutcliffe, F Rabe
PAAR@ IJCAR, 41-55, 2016
262016
The LATIN Project, 2009
M Kohlhase, T Mossakowski, F Rabe
See https://trac. omdoc. org/LATIN, 0
26
Towards knowledge management for HOL Light
C Kaliszyk, F Rabe
International Conference on Intelligent Computer Mathematics, 357-372, 2014
252014
A query language for formal mathematical libraries
F Rabe
International Conference on Intelligent Computer Mathematics, 143-158, 2012
252012
The system can't perform the operation now. Try again later.
Articles 1–20