( en | de | ru )

 

Disambiguation of "Mossakowski, Till"

Author of the publication

copydeleteadd this publication to your clipboard
CASL Logic

, , , and . CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)

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

Generic Ontology Design Patterns: Roles and Change Over Time., , and . WOP (Book), volume 51 of Studies on the Semantic Web, page 25-47. IOS Press, (2021)Representations, hierarchies and graphs of institutions.. University of Bremen, Germany, (2002)Ontology Pre-training for Poison Prediction., , , and . KI, volume 14236 of Lecture Notes in Computer Science, page 31-45. Springer, (2023)Higher-Order Nets for Mobile Policies., , and . PNGT@ICGT, volume 127 of Electronic Notes in Theoretical Computer Science, page 87-105. Elsevier, (2004)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)Towards Fuzzy Neural Conceptors, , and . IfCoLog Journal of Logics and their Applications, 6 (4): 725--744 (2019)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)Equivalences among Various Logical Frameworks of Partial Algebras.. CSL, volume 1092 of Lecture Notes in Computer Science, page 403-433. Springer, (1995)CASL: From Semantics to Tools.. TACAS, volume 1785 of Lecture Notes in Computer Science, page 93-108. Springer, (2000)Coalgebraic Modal Logic in CoCasl., and . WADT, volume 4409 of Lecture Notes in Computer Science, page 127-141. Springer, (2006)