Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.):
Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings.
Lecture Notes in Computer Science 532 Springer 1991, ISBN 3-540-54478-X BibTeX
@proceedings{DBLP:conf/gg/1990,
editor = {Hartmut Ehrig and
Hans-J{\"o}rg Kreowski and
Grzegorz Rozenberg},
title = {Graph-Grammars and Their Application to Computer Science, 4th
International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings},
booktitle = {Graph-Grammars and Their Application to Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {532},
year = {1991},
isbn = {3-540-54478-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Part 1
Part 2:
Panel Discussion - The Use of Graph Grammars in Applications
Part 3
- Michael Himsolt:
GraphEd: An Interactive Tool For Developing Graph Grammars.
61-65 BibTeX
- Andy Schürr:
Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment.
66 BibTeX
- Andy Schürr:
Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems.
67 BibTeX
- Egon Wanke:
PLEXUS: Tools for Analyzing Graph Grammars.
68-69 BibTeX
Part 4
- Stefan Arnborg, Bruno Courcelle, Andrzej Proskurowski, Detlef Seese:
An Algebraic Theory of Graph Reduction.
70-83 BibTeX
- Duane A. Bailey, Janice E. Cuny, Charles D. Fisher:
Programming with Very Large Graphs.
84-97 BibTeX
- Klaus Barthelmann:
Describing Göttler's Operational Graph Grammars with Pushouts.
98-112 BibTeX
- Michel Bauderon:
General Solution to a System of Recursive Equations.
113-126 BibTeX
- Martin J. M. de Boer:
Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers.
127-143 BibTeX
- Franz-Josef Brandenburg:
Layout Graph Grammars: The Placement Approach.
144-156 BibTeX
- Franz-Josef Brandenburg, Michal Chytil:
Cycle Chain Code Picture Languages.
157-173 BibTeX
- Horst Bunke, Thomas Glauser, T.-H. Tran:
An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm.
174-189 BibTeX
- Didier Caucal:
An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes.
190-206 BibTeX
- Tien Chi Chen:
Graphic Equivalence and Computer Optimization.
207-220 BibTeX
- Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe:
Graph Grammars and Logic Programming.
221-237 BibTeX
- Bruno Courcelle:
Graphs as Relational Structures: An Algebraic an Logical Approach.
238-252 BibTeX
- Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg:
Context-free Handle-rewriting Hypergraph Grammars.
253-268 BibTeX
- Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
From Graph Grammars to High Level Replacement Systems.
269-291 BibTeX
- Hartmut Ehrig, Francesco Parisi-Presicce:
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
292-310 BibTeX
- Joost Engelfriet:
A Characterization of Context-Free NCE Graph Languages by Monadic Second-Order Logic on Trees.
311-327 BibTeX
- Joost Engelfriet, Linda Heyker:
The Term Generating Power of Context-Free Hypergraph Grammars.
328-243 BibTeX
- Gregor Engels:
Elementary Actions on an Extended Entity-Relationship Database.
344-362 BibTeX
- F. David Fracchia, Przemyslaw Prusinkiewicz:
Physically-Based Graphical Interpretation of Marker Cellwork L-Systems.
363-377 BibTeX
- John R. W. Glauert, Richard Kennaway, M. Ronan Sleep:
Dactl: An Experimental Graph Rewriting Language.
378-395 BibTeX
- Herbert Göttler, Joachim Günther, Georg Nieskens:
Use Graph Grammars to Design CAD-Systems!
396-410 BibTeX
- Annegret Habel, Hans-Jörg Kreowski:
Collage Grammars.
411-429 BibTeX
- Lilia Hess, Brian H. Mayoh:
The Four Musicians: Analogies and Expert Systems - A Graphic Approach.
430-445 BibTeX
- Dirk Janssens, Grzegorz Rozenberg:
Structured Transformations and Computation Graphs for Actor Grammars.
446-460 BibTeX
- Eric Jeltsch, Hans-Jörg Kreowski:
Grammatical Inference Based on Hyperedge Replacement.
461-474 BibTeX
- Simon M. Kaplan, Joseph P. Loyall, Steven K. Goering:
Specifying Concurrent Languages and Systems with ???-Grammars.
475-489 BibTeX
- Richard Kennaway:
Graph Rewriting in Some Categories of Partial Morphisms.
490-504 BibTeX
- Martin Korff:
Application of Graph Grammars to Rule-Based Systems.
505-519 BibTeX
- Clemens Lautemann:
Tree Automata, Tree Decomposition and Hyperedge Replacement.
520-537 BibTeX
- Ulrike Lichtblau:
Recognizing Rooted Context-free Flowgraph Languages in Polynomial Time.
538-548 BibTeX
- Igor Litovsky, Yves Métivier:
Computing with Graph Relabelling Systems with Priorities.
549-563 BibTeX
- Jacqueline Lück, Hermann B. Lück:
Double-wall Cellworks Systems for Plant Meristems.
564-581 BibTeX
- Andrea Maggiolo-Schettini, Józef Winkowski:
Programmed Derivations of Relational Structures.
582-598 BibTeX
- Manfred Nagl, Andy Schürr:
A Specification Environment for Graph Grammars.
599-609 BibTeX
- Azaria Paz:
The Theory of Graphoids: A Survey.
610-621 BibTeX
- Detlef Plump:
Graph-Reducible Term Rewriting Systems.
622-636 BibTeX
- Azriel Rosenfeld:
A Note on Graph Decimation.
637-640 BibTeX
- Andy Schürr:
PROGRESS: A VHL-Language Based on Graph Grammars.
641-659 BibTeX
- Gabriele Taentzer, Holger Schween:
Movement of Objects in Configuration Spaces modelled by graph Grammars.
660-675 BibTeX
- Walter Vogler:
Recognizing Edge Replacement Graph Languages in Cubic Time.
676-687 BibTeX
Part 5
Copyright © Sat May 16 23:13:24 2009
by Michael Ley (ley@uni-trier.de)
