( en | de | ru )

 

Disambiguation of "Mossakowski, Till"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic-co-algebraic specification in CoCASL

, , , and . Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, volume 2755 of Lecture Notes in Computer Science, page 376--392. Springer; Berlin; http://www.springer.de, (2003)

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

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution, , , , and . Concept Invention. Foundations, Implementation, Social Aspects and Applications, Springer, (2018)On Teaching Logic and Algebraic Specification.. ECEASST, (2010)Monad-independent Hoare logic in HasCASL, and . Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of Lecture Notes in Computer Science, page 261--277. Springer; Berlin; http://www.springer.de, (2003)Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain., , , , and . DAO-XAI, volume 2998 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Higher-Order Nets for Mobile Policies., , and . PNGT@ICGT, volume 127 of Electronic Notes in Theoretical Computer Science, page 87-105. Elsevier, (2004)Equivalences among Various Logical Frameworks of Partial Algebras.. CSL, volume 1092 of Lecture Notes in Computer Science, page 403-433. Springer, (1995)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)Proof Support for Common Logic, , , , and . Automated Reasoning in Quantified Non-Classical Logics (ARQNL), 33, page 42--58. EasyChair, (2014)The Distributed Ontology, Model and Specification Language – DOL. WADT 2016, volume 10644 of LNCS, page 5-10. Springer, (2017)