Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors., , und . Bulletin of the EATCS, (1995)Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms., , und . Bulletin of the EATCS, (1991)From Basic Views and Aspects to Integration of Specification Formalisms., , und . Bulletin of the EATCS, (1999)Characterizing Confusion., , und . Bulletin of the EATCS, (1993)A Monotonic Declarative Semantics for Normal Logic Programs., , und . APPIA-GULP-PRODE, Seite 271-282. (1997)Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , und . Comput. J., 35 (5): 468-477 (1992)New Concepts for Amalgamation and Extension in the Framework of Specification Logics., , und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Passing Compatibility is almost Persistency.. ADT, Volume 116 von Informatik-Fachberichte, Seite 196-206. Springer, (1984)Clausal Rewriting: Applications and Implementation., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 204-219. Springer, (1990)Abstract Constraint Data Types., und . Software, Services, and Systems, Volume 8950 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2015)