( en | de | ru )

 

Disambiguation of "Ehrig, Hartmut"

Author of the publication

copydeleteadd this publication to your clipboard
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach.

, , and . Bulletin of the EATCS, (2010)

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

Termination Criteria for DPO Transformations with Injective Matches., , and . GT-VC@CONCUR, volume 175 of Electronic Notes in Theoretical Computer Science, page 87-100. Elsevier, (2006)Church-Rosser properties for graph replacement systems with unique splitting., and . Graph-Grammars and Their Application to Computer Science, volume 153 of Lecture Notes in Computer Science, page 82-101. Springer, (1982)Algebraic Implementation of Abstract Data Types., , , and . Theor. Comput. Sci., (1982)EATCS Mini-Track of FM'99.. Bulletin of the EATCS, (1998)ESF-concepts linked with algebraic module specifications.. Bulletin of the EATCS, (1990)Linking Schemas and Module Specifications: A Proposal., and . Bulletin of the EATCS, (1990)Theory and Practice of Software Development: A Review of Driving Forces and Expectations., and . Bulletin of the EATCS, (1995)Linking Algebraic High level Nets and Dynamic Abstract Data., and . Bulletin of the EATCS, (1994)The Algebraic Specification Column.. Bulletin of the EATCS, (1988)Integration Paradigm for Data Type and Process Specification Techniques., and . Bulletin of the EATCS, (1998)