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
1452013
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
732008
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
712011
The MMT API: a generic MKM system
F Rabe
International Conference on Intelligent Computer Mathematics, 339-343, 2013
572013
Notations for living mathematical documents
M Kohlhase, C Müller, F Rabe
International Conference on Intelligent Computer Mathematics, 504-519, 2008
562008
A practical module system for LF
F Rabe, C Schürmann
Proceedings of the Fourth International Workshop on Logical Frameworks and …, 2009
522009
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
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
502013
Representing logics and logic translations
F Rabe
Jacobs University Bremen, 2008
492008
Integrating web services into active mathematical documents
J Giceva, C Lange, F Rabe
International Conference on Intelligent Computer Mathematics, 279-293, 2009
472009
How to identify, translate and combine logics?
F Rabe
Journal of Logic and Computation 27 (6), 1753-1798, 2017
432017
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
A logical framework combining model and proof theory.
F Rabe
Math. Struct. Comput. Sci. 23 (5), 945-1001, 2013
322013
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
322010
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
292016
Formalising foundations of mathematics
M Iancu, F Rabe
Mathematical Structures in Computer Science 21 (4), 883-911, 2011
272011
The LATIN Project, 2009
M Kohlhase, T Mossakowski, F Rabe
See https://trac. omdoc. org/LATIN, 0
26
A query language for formal mathematical libraries
F Rabe
International Conference on Intelligent Computer Mathematics, 143-158, 2012
252012
Towards knowledge management for HOL Light
C Kaliszyk, F Rabe
International Conference on Intelligent Computer Mathematics, 357-372, 2014
242014
A web-scalable module system for mathematical theories
F Rabe, M Kohlhase
Manuscript, to be submitted to the Journal of Symbolic Computation, 2010
242010
The system can't perform the operation now. Try again later.
Articles 1–20