( en | de | ru )

 

Disambiguierung von "Mosses, Peter D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Use of Sorts in Algebraic Specifications.

. COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 66-92. Springer, (1991)

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.

Daniel Mosses

Peter D. Cook

Peter -D Schmid-Schischke

D Zeppenfeld

D Zumkeller

 

Weitere Publikationen von Autoren mit dem selben Namen

The Use of Sorts in Algebraic Specifications.. COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 66-92. Springer, (1991)Unified Algebras and Abstract Syntax.. COMPASS/ADT, Volume 785 von Lecture Notes in Computer Science, Seite 280-294. Springer, (1992)Engineering meta-languages for specifying software languages (keynote).. SLE, Seite 1. ACM, (2017)CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science Springer, (2004)Executable component-based semantics., , und . J. Log. Algebraic Methods Program., (2019)Deriving Pretty-Big-Step Semantics from Small-Step Semantics., und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 270-289. Springer, (2014)A Basic Abstract Semantic Algebra.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 87-107. Springer, (1984)ASD: The Action Semantic Description Tools., und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 579-582. Springer, (1996)Pragmatics of Modular SOS.. AMAST, Volume 2422 von Lecture Notes in Computer Science, Seite 21-40. Springer, (2002)Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic., , , und . AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 407-421. Springer, (2000)