Florian Rabe
Florian Rabe
Bestätigte E-Mail-Adresse bei fau.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A scalable module system
F Rabe, M Kohlhase
Information and Computation 230, 1-54, 2013
1442013
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
722011
The MMT API: a generic MKM system
F Rabe
International Conference on Intelligent Computer Mathematics, 339-343, 2013
562013
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
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
522010
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
492013
Representing logics and logic translations
F Rabe
Jacobs University Bremen, 2008
482008
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
422017
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
392010
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
272016
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
Towards knowledge management for HOL Light
C Kaliszyk, F Rabe
Intelligent Computer Mathematics, 357-372, 2014
242014
A query language for formal mathematical libraries
F Rabe
International Conference on Intelligent Computer Mathematics, 143-158, 2012
242012
A web-scalable module system for mathematical theories
F Rabe, M Kohlhase
Manuscript, to be submitted to the Journal of Symbolic Computation, 2010
242010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20