apl. Prof. Dr. Florian Rabe

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

Logical Relations for a Logical Framework (2013) Rabe F Journal article Towards logical frameworks in the heterogeneous tool set hets (2012) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F, Sojakova K Conference contribution, Original article Extending MKM formats at the statement level (2012) Horozal F, Kohlhase M, Rabe F Conference contribution, Original article A proof theoretic interpretation of model theoretic hiding (2012) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article Semantics of OpenMath and MathML3 (2012) Kohlhase M, Rabe F Journal article, Original article Project abstract: Logic atlas and integrator (LATIN) (2011) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article A foundational view on integration problems (2011) Rabe F, Kohlhase M, Sacerdoti Coen C Conference contribution, Original article Combining source, content, presentation, narration, and relational representation (2011) Horozal F, Iacob A, Jucovschi C, Kohlhase M, Rabe F Conference contribution, Original article Towards MKM in the large: Modular representation and scalable software architecture (2010) Kohlhase M, Rabe F, Zholudev V Conference contribution, Original article An exchange format for modular knowledge (2008) Rabe F, Kohlhase M Conference contribution, Original article