PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Mossakowski, Till"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
What Is a Derived Signature Morphism?

, , und . WADT, Volume 9463 von Lecture Notes in Computer Science, Seite 90-109. Springer, (2014)

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 Obermüller University of Stuttgart

Till Kugler University of Stuttgart

Till Böhm University of Stuttgart

Till Hielscher University of Stuttgart

Pascal Tilli University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Monad-independent Dynamic Logic in HasCasl., und . J. Log. Comput., 14 (4): 571-619 (2004)Translationg OBJ3 into CASL: The Institution Level.. WADT, Volume 1589 von Lecture Notes in Computer Science, Seite 198-215. Springer, (1998)Foundations of Heterogeneous Specification.. WADT, Volume 2755 von Lecture Notes in Computer Science, Seite 359-375. Springer, (2002)Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens., und . WADT, Volume 2755 von Lecture Notes in Computer Science, Seite 253-267. Springer, (2002)A Proof Theoretic Interpretation of Model Theoretic Hiding., , , , und . WADT, Volume 7137 von Lecture Notes in Computer Science, Seite 118-138. Springer, (2010)Towards Logical Frameworks in the Heterogeneous Tool Set Hets., , , , , und . WADT, Volume 7137 von Lecture Notes in Computer Science, Seite 139-159. Springer, (2010)Subsorted Partial Higher-Order Locig as an Extension of CASL., , und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 126-145. Springer, (1999)Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes., , , und . Semantic Web, 7 (1): 25-61 (2016)Specification refinements: Calculi, tools, and applications., , , und . Sci. Comput. Program., (2017)Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution., , , , und . Concept Invention, Springer, (2018)