Professur für Wissensrepräsentation und -verarbeitung

A universal machine for biform theory graphs (2013) Kohlhase M, Mance F, Rabe F Conference contribution, Original article Mashups using mathematical knowledge: Why formulas are different (2013) Lange-Bever C, Kohlhase M Book chapter / Article in edited volumes 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 Full semantic transparency: Overcoming boundaries of applications (2013) Kohlhase A, Kohlhase M, Jucovschi C, Toader A Conference contribution, Original article OpenMathMap: Accessing Math via Interactive Maps (2013) Dörrie JW, Kohlhase M Conference contribution, Original article Logical Relations for a Logical Framework (2013) Rabe F Journal article Tetravalent arc-transitive graphs of order twice a product of two primes (2012) Bercic K, Ghasemi M Journal article, Original article Bringing mathematics to the web of data: The case of the mathematics subject classification (2012) Lange-Bever C, Kohlhase M Conference contribution, Original 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