( en | de | ru )

 

Disambiguierung von "Mossakowski, Till"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algebraic-co-algebraic specification in CoCASL

, , , und . Journal of Logic and Algebraic Programming, 67 (1-2): 146-197 (2006)Extends (Mossakowski et al. 2003).

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Institutions for SQL Database Schemas and Datasets., und . WADT, Volume 11563 von Lecture Notes in Computer Science, Seite 67-86. Springer, (2019)Comorphism-Based Grothendieck Logics.. MFCS, Volume 2420 von Lecture Notes in Computer Science, Seite 593-604. Springer, (2002)Modularity of Ontologies in an Arbitrary Institution, , , und . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, Volume 9200 von Lecture Notes in Computer Science, Seite 361--379. Springer, (2015)Heterogeneous Theories and the Heterogeneous Tool Set.. Semantic Interoperability and Integration, Volume 04391 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax., und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Generic ontology design patterns at work, , und . JOWO 2019 The Joint Ontology Workshops, Volume 2518 von IAOA-Series, CEUR-WS, (2019)Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification, , , , und . Journal of Cheminformatics, 13 (1): 23 (2021)Generic Ontology Design Patterns: Roles and Change over Time., , und . CoRR, (2020)Generic Ontology Design Patterns: Roles and Change over Time, , und . (2020)Standard annotations for parsers and static semantic checkers - a proposal. (1998)CoFI note T-6.