( 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 . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)

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

Ehrig Lange

Gerhard Ehrig

Bodo Ehrig

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)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)Stepwise Specification and Implementation of Abstract Data Types., , und . ICALP, Volume 62 von Lecture Notes in Computer Science, Seite 205-226. Springer, (1978)Algebraic Specifications with Generating Constraints., , und . ICALP, Volume 154 von Lecture Notes in Computer Science, Seite 188-202. Springer, (1983)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)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)Parallelism of Manipulations in Multidimensional Information Structures., und . MFCS, Volume 45 von Lecture Notes in Computer Science, Seite 284-293. Springer, (1976)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)