( en | de | ru )

 

Disambiguierung von "Ehrig, Hartmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
New Compatibility Results for Implementations within the Initial Algebraic Approach.

, und . Bulletin of the EATCS, (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.

Hartmut Ehrig

Hartmut Ehrig

Bodo Ehrig

Heinz Ehrig

Ehrig Lange

 

Weitere Publikationen von Autoren mit dem selben Namen

Algebraic Specification Schemes for Data Base Systems., , und . VLDB, Seite 427-440. IEEE Computer Society, (1978)Specification of Modular Systems, und . University of Dortmund, Report 198, (1985)Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Techniques in Software Development., und . Bulletin of the EATCS, (1996)Dynamic Abstract Data Types: An informal Proposal., und . Bulletin of the EATCS, (1994)Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).. Bulletin of the EATCS, (2004)Revie of Dines Bjørner's Textbooks Software Engineering 1-3.. Bulletin of the EATCS, (2006)Universal Theory of Automata. A Categorical Approach, und . Studienbücher Informatik Teubner, (1974)Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme., , und . Formale Modelle für Informationssysteme, Volume 21 von Informatik-Fachberichte, Seite 181-198. Springer, (1979)Embedding Theorem in the Algebraic Theory of Graph Grammars.. FCT, Volume 56 von Lecture Notes in Computer Science, Seite 245-255. Springer, (1977)