( en | de | ru )

 

Disambiguation of "Ehrig, Hartmut"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract Graph Derivations in the Double Pushout Approach.

, , , , and . Dagstuhl Seminar on Graph Transformations in Computer Science, volume 776 of Lecture Notes in Computer Science, page 86-103. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hartmut Ehrig

Hartmut Ehrig

Ehrig Lange

Gerhard Ehrig

Bodo Ehrig

 

Other publications of authors with the same name

Concurrent Transformations of Graphs and Relational Structures., and . WG, page 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars., and . Graph-Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, page 292-310. Springer, (1990)Fundamentals of Algebraic Specification 2, and . EATCS Monographs on Theoretical Computer Science Springer, (1990)Institutions for Logic Programming., , and . Theor. Comput. Sci., 173 (2): 485-511 (1997)From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 122-146. Springer, (2007)Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems., , , and . MFCS, volume 88 of Lecture Notes in Computer Science, page 231-245. Springer, (1980)Parallelism of Manipulations in Multidimensional Information Structures., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 284-293. Springer, (1976)The Construct PRO of Projection Spaces: Its Internal Structure., and . Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 286-293. Springer, (1988)Semantical Constructions for Categories of Behavioural Specifications., , and . Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 220-243. Springer, (1988)A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development., and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 3-24. Springer, (1995)