Florian Rabe

Friedrich Alexander Universität Erlangen Nürnberg FAU - Erlangen / Germany

Others

AD Scientific Index ID: 1757902

Friedrich-Alexander University Erlangen-Nürnberg

Registration, Add Profile,
Premium Membership

Print Your Certificate

Florian Rabe's MOST POPULAR ARTICLES

1-) A scalable module systemF Rabe, M KohlhaseInformation and Computation 230, 1-54, 20131622013

2-) THF0–the core of the TPTP language for higher-order logicC Benzmüller, F Rabe, G SutcliffeInternational Joint Conference on Automated Reasoning, 491-506, 2008752008

3-) Project abstract: logic atlas and integrator (LATIN)M Codescu, F Horozal, M Kohlhase, T Mossakowski, F RabeInternational Conference on Intelligent Computer Mathematics, 289-291, 2011742011

4-) A practical module system for LFF Rabe, C SchürmannProceedings of the Fourth International Workshop on Logical Frameworks and …, 2009622009

5-) The MMT API: a generic MKM systemF RabeInternational Conference on Intelligent Computer Mathematics, 339-343, 2013612013

ARTICLES

Add your articles