## Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. ProceedingsHans J. Schneider, Hartmut Ehrig The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

PathControlled Graph Grammars for Multiresolution Image Processing | 1 |

Syntax and Semantics of Hybrid Database Languages | 19 |

AndriesG Engels 19 | 35 |

### Other editions - View all

### Common terms and phrases

abelian path group Addr adjacency AVType black nodes compressed graph expression Computer Science Constraint Programming corresponding CVType decision problems Decl decomposable Definition discrete space edge direction edge labels edge type EER diagram EER model Ehrig embedding rules entity type Entity-Relationship Model ENTITYTYPE exists formula graph compression rules graph grammars graph H graph representation graph rewriting rules graph transformations graphical alternative HQL/EER query HQL/EER version hybrid query language image compression input types integer intermediate nodes k-th application l'.Term labels for nodes LAKE Lecture Notes modal logics Nagl Name neighborhood relations node class node labelled node type normalized quadtree Notes in Computer OS-graph p.Age p.Name path-controlled PERSON Petri nets production PROFI PROGRES graph scheme propositional logic PSPACE quadtree expression quadtree representation query of Figure relationship types resp Rozenberg sharing an address southwest nodes specify string structure term Term-attribute textual query treewidth type construction unit square