#### Filter Results:

- Full text PDF available (169)

#### Publication Year

1973

2015

- This year (0)
- Last 5 years (28)
- Last 10 years (117)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Hartmut Ehrig, Karsten Ehrig, Ulrike Golas, Gabriele Taentzer
- Monographs in Theoretical Computer Science. An…
- 2006

- Hartmut Ehrig, Bernd Mahr
- EATCS Monographs on Theoretical Computer Science
- 1985

- Hartmut Ehrig
- Graph-Grammars and Their Application to Computer…
- 1978

The aim of this survey is to motivate and introduce the basic constructions and results which have been developed in the algebraic theory of graph grammars up to now. The complete material is illustrated by several examples, especially by applications to a "very small data base system", where consistent states are represented as qraphs, operation rules and… (More)

- Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
- Handbook of Graph Grammars
- 1997

- Hartmut Ehrig, Bernd Mahr
- EATCS Monographs on Theoretical Computer Science
- 1990

- Hartmut Ehrig, Ulrike Golas, Gabriele Taentzer
- ICGT
- 2004

The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no adequate theory for this important branch of graph transformation. In this paper we give a new formalization of typed attributed graphs, which allows node and edge attribution. The… (More)

- Hartmut Ehrig, Reiko Heckel, +4 authors Andrea Corradini
- Handbook of Graph Grammars
- 1997

Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout) approach to graph rewriting. Unlike in previous approaches, we consider graphs as objects, instead of arrows, of the category under consideration. This allows us to… (More)

- Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
- Mathematical Structures in Computer Science
- 1991