( en | de | ru )

 

Disambiguation of "Mossakowski, Till"

Author of the publication

copydeleteadd this publication to your clipboard
Checking amalgamability conditions for CASL architectural specifications

, , , , and . Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, page 512--523. Springer; Berlin; http://www.springer.de, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

 

Other publications of authors with the same name

Relations Between Spatial Calculi About Directions and Orientations, and . International Joint Conference on Artificial Intelligence 2017, Melbourne, (2017)Institutions for database schemas and datasets, and . CALCO early ideas 2017, (2017)The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, , , and . Intelligent Computer Mathematics, 7362, page 463--467. Springer Verlag, (2012)Proof Support for Common Logic, , , , and . Automated Reasoning in Quantified Non-Classical Logics (ARQNL), 33, page 42--58. EasyChair, (2014)The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility, , , , , and . Terminology and Knowledge Engineering Conference (TKE), page 33--48. (2012)How to write consistent CASL design specifications. (2000)CoFI note M-8.Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen, (2005)Hets User Guide, , and . Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, (2006)OSMonto - An Ontology of OpenStreetMap Tags, , , , and . State of the map Europe (SOTM-EU) 2011, (2011)Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design, , and . Logica Univeralis, 4 (2): 255-333 (2010)