apl. Prof. Dr. Florian Rabe

Professur für Wissensrepräsentation und -verarbeitung Technische Fakultät

How to Identify, Translate, and Combine Logics? (2017) Rabe F Journal article Canonical Selection of Colimits (2017) Codesci M, Mossakowski T, Rabe F Conference contribution LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (2017) Rabe F Conference contribution A Modular Type Reconstruction Algorithm (2017) Rabe F Journal article Interoperability in the OpenDreamKit project: The math-in-the-middle approach (2016) Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, et al. Conference contribution, Original article QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016) Kohlhase M, Rabe F Journal article, Original article Flexary operators for formalized mathematics (2014) Horozal F, Rabe F, Kohlhase M Conference contribution, Original article A universal machine for biform theory graphs (2013) Kohlhase M, Mance F, Rabe F Conference contribution, Original article The Mizar mathematical library in OMDoc: Translation and applications (2013) Iancu M, Kohlhase M, Rabe F, Urban J Journal article, Original article A scalable module system (2013) Rabe F, Kohlhase M Journal article, Original article