Publikationen

• Frank Dylla; Till Mossakowski; Thomas Schneider; Diedrich Wolter
  Algebraic Properties of Qualitative Spatio-Temporal Calculi.
  In: Conference On Spatial Information Theory . Conference On Spatial Information Theory (COSIT-13), September 2-5, North Yorkshire, United Kingdom, Springer, 2013.
• Christoph Lange; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger
  A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
  In: Jacques Carette; James H. Davenport; Wolfgang Windsteiger; Petr Sojka; David Aspinall; Christoph Lange (Hrsg.). Conferences on Intelligent Computer Mathematics, Lecture Notes in Computer Science. Conferences on Intelligent Computer Mathematics (CICM-13), July 8-12, Bath, United Kingdom, Springer, 2013.
• Till Mossakowski; Oliver Kutz; Christoph Lange
  Three Semantics for the Core of the Distributed Ontology Language.
  In: International Joint Conference on Artificial Intelligence . International Joint Conference on Artificial Intelligence (IJCAI-13), The 2013 International Joint Conference on Artificial Intelligence, August 3-9, Beijing, China, nnn, 2013.
• Mihai Codescu
  Lambda Expressions in CASL Architectural Specifications.
  In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012.
• Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
  Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
  In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
• Mehr...