( en | de | ru )

 

Disambiguation of "Mossakowski, Till"

Author of the publication

copydeleteadd this publication to your clipboard
Institutions for SQL Database Schemas and Datasets.

, and . WADT, volume 11563 of Lecture Notes in Computer Science, page 67-86. Springer, (2019)
DOI: https://doi.org/10.1007/978-3-030-23220-7_4

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)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)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.What is a Logic? (revised version), , , and . Logica Universalis, second edition, page 111-133. Birkhäuser, (2007)An Institutional View on Categorical Logic, , , , and . Int J Software Informatics, 1, page 129-152. (2007)