( en | de | ru )

 

Disambiguierung von "Ehrig, Hartmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal analysis of model transformations based on triple graph grammars.

, , , und . Math. Struct. Comput. Sci., (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.

Hartmut Ehrig

Hartmut Ehrig

Gerhard Ehrig

Bodo Ehrig

Heinz Ehrig

 

Weitere Publikationen von Autoren mit dem selben Namen

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs., , und . Unifying Petri Nets, Volume 2128 von Lecture Notes in Computer Science, Seite 230-249. Springer, (2001)Algebraic Specifications with Generating Constraints., , und . ICALP, Volume 154 von Lecture Notes in Computer Science, Seite 188-202. Springer, (1983)Stepwise Specification and Implementation of Abstract Data Types., , und . ICALP, Volume 62 von Lecture Notes in Computer Science, Seite 205-226. Springer, (1978)New Concepts of Amalgamation and Extension for a General Theory of Specifications., , und . COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 199-221. Springer, (1991)Introduction to the Algebraic Theory of Graph Grammars (A Survey).. Graph-Grammars and Their Application to Computer Science and Biology, Volume 73 von Lecture Notes in Computer Science, Seite 1-69. Springer, (1978)Locally Star Sluing Formulas for a Class of Parallel Graph Grammars., und . Graph-Grammars and Their Application to Computer Science and Biology, Volume 73 von Lecture Notes in Computer Science, Seite 206-223. Springer, (1978)The Construct PRO of Projection Spaces: Its Internal Structure., und . Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 286-293. Springer, (1988)Semantical Constructions for Categories of Behavioural Specifications., , und . Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 220-243. Springer, (1988)A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development., und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 3-24. Springer, (1995)Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems., , , und . MFCS, Volume 88 von Lecture Notes in Computer Science, Seite 231-245. Springer, (1980)