Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
Proceedings of the Fourth International Workshop on Graph-Grammars and Their Application to Computer Science
GG, 1990.

@proceedings{GG-1990,
	address       = "Bremen, Germany",
	editor        = "Hartmut Ehrig and Hans-Jörg Kreowski and Grzegorz Rozenberg",
	isbn          = "3-540-54478-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Workshop on Graph-Grammars and Their Application to Computer Science}",
	volume        = 532,
	year          = 1990,
}

Contents (60 items)

30 ×#graph grammar
9 ×#graph
4 ×#algebra
4 ×#approach
4 ×#named
3 ×#category theory
3 ×#logic
3 ×#specification
2 ×#biology
2 ×#graph transformation

GG-1990-DrewesK

A Note on Hyperedge Replacement (FD, HJK), pp. 1–12.

GG-1990-EngelfrietR #graph grammar

Graph Grammars Based on Node Rewriting: An Introduction to NLC Graph Grammars (JE, GR), pp. 12–23.

GG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.

GG-1990-Courcelle #graph #logic

The Logical Exprssion of Graph Properties (BC), pp. 38–40.

GG-1990-Boer #biology #graph grammar #modelling

Graph Grammars as a Modelling Tool in Developmental Biology (MJMdB), pp. 41–43.

GG-1990-Bunke #graph grammar #pattern matching #pattern recognition #question #recognition

Graph Grammars — a Useful Tool for Pattern Recognition? (HB), pp. 43–46.

GG-1990-Cuny #graph grammar #question #tool support

Graph Grammars as Tools in Applications Work? (JEC), pp. 46–47.

GG-1990-Fracchia #biology #modelling

Modelling of Biological Structures (FDF), pp. 47–48.

GG-1990-Gottler #graph grammar

Usefulness of Graph Grammars in Applications (HG), pp. 48–49.

GG-1990-Kaplan #graph grammar #re-engineering

Applying Graph Grammars to Software engineering (SMK), pp. 49–51.

GG-1990-Kreowski #graph transformation

Applied Graph Transformation (HJK), pp. 51–52.

GG-1990-Mayoh #graph grammar #information management #representation

Graph Grammars for Knowledge Representation (BHM), p. 53.

GG-1990-Nagl #graph grammar

Graph Grammars which are Suitable for Applications (MN), pp. 54–56.

GG-1990-Paz #graph grammar

Usefulness and Visibility of Graph Grammars (AP), p. 56.

GG-1990-Sleep #graph grammar #research

Applications of Graph Grammars and Directions for Research (MRS), pp. 57–60.

GG-1990-Himsolt #graph grammar #interactive #named

GraphEd: An Interactive Tool For Developing Graph Grammars (MH), pp. 61–65.

GG-1990-Schurr #incremental

Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment (AS), p. 66.

GG-1990-Schurr90a #editing #graph grammar #hybrid #term rewriting

Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems (AS), p. 67.

GG-1990-Wanke #graph grammar #named #tool support

PLEXUS: Tools for Analyzing Graph Grammars (EW), pp. 68–69.

GG-1990-ArnborgCPS #algebra #graph #reduction

An Algebraic Theory of Graph Reduction (SA, BC, AP, DS), pp. 70–83.

GG-1990-BaileyCF #graph #programming #scalability

Programming with Very Large Graphs (DAB, JEC, CDF), pp. 84–97.

GG-1990-Barthelmann #category theory #graph grammar

Describing Göttler’s Operational Graph Grammars with Pushouts (KB), pp. 98–112.

GG-1990-Bauderon #equation #recursion

General Solution to a System of Recursive Equations (MB), pp. 113–126.

GG-1990-Boer90a #sequence

Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers (MJMdB), pp. 127–143.

GG-1990-Brandenburg #approach #graph grammar #layout

Layout Graph Grammars: The Placement Approach (FJB), pp. 144–156.

GG-1990-Chytil

Cycle Chain Code Picture Languages (FJB, MC), pp. 157–173.

GG-1990-BunkeGT #algorithm #graph grammar #implementation #performance

An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm (HB, TG, THT), pp. 174–189.

GG-1990-Caucal #graph grammar

An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes (DC), pp. 190–206.

GG-1990-Chen #equivalence #optimisation

Graphic Equivalence and Computer Optimization (TCC), pp. 207–220.

GG-1990-CorradiniMREL #graph grammar #logic programming

Graph Grammars and Logic Programming (AC, UM, FR, HE, ML), pp. 221–237.

GG-1990-Courcelle90a #algebra #approach #graph #logic #relational

Graphs as Relational Structures: An Algebraic an Logical Approach (BC), pp. 238–252.

GG-1990-CourcelleER #graph grammar

Context-free Handle-rewriting Hypergraph Grammars (BC, JE, GR), pp. 253–268.

GG-1990-EhrigHKP #graph grammar

From Graph Grammars to High Level Replacement Systems (HE, AH, HJK, FPP), pp. 269–291.

GG-1990-EhringP #algebra #graph grammar #specification

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (HE, FPP), pp. 292–310.

GG-1990-Engelfriet #graph #higher-order #logic #monad

A Characterization of Context-Free NCE Graph Languages by Monadic Second-Order Logic on Trees (JE), pp. 311–327.

GG-1990-EngelfrietH #generative #graph grammar #power of

The Term Generating Power of Context-Free Hypergraph Grammars (JE, LH), pp. 328–243.

GG-1990-Engels #database

Elementary Actions on an Extended Entity-Relationship Database (GE), pp. 344–362.

GG-1990-FracchiaP #visual notation

Physically-Based Graphical Interpretation of Marker Cellwork L-Systems (FDF, PP), pp. 363–377.

GG-1990-GlauertKS #graph grammar #named

Dactl: An Experimental Graph Rewriting Language (JRWG, RK, MRS), pp. 378–395.

GG-1990-GottlerGN #design #exclamation #graph grammar

Use Graph Grammars to Design CAD-Systems! (HG, JG, GN), pp. 396–410.

GG-1990-HabelK

Collage Grammars (AH, HJK), pp. 411–429.

GG-1990-HessM #approach

The Four Musicians: Analogies and Expert Systems — A Graphic Approach (LH, BHM), pp. 430–445.

GG-1990-JanssensR #graph

Structured Transformations and Computation Graphs for Actor Grammars (DJ, GR), pp. 446–460.

GG-1990-JeltschK #grammar inference

Grammatical Inference Based on Hyperedge Replacement (EJ, HJK), pp. 461–474.

GG-1990-KaplanLG #concurrent #specification

Specifying Concurrent Languages and Systems with ???-Grammars (SMK, JPL, SKG), pp. 475–489.

GG-1990-Kennaway #category theory #graph grammar #morphism

Graph Rewriting in Some Categories of Partial Morphisms (RK), pp. 490–504.

GG-1990-Korff #graph grammar #rule-based

Application of Graph Grammars to Rule-Based Systems (MK), pp. 505–519.

GG-1990-Lautemann #automaton #composition

Tree Automata, Tree Decomposition and Hyperedge Replacement (CL), pp. 520–537.

GG-1990-Lichtblau #polynomial

Recognizing Rooted Context-free Flowgraph Languages in Polynomial Time (UL), pp. 538–548.

GG-1990-LitovskyM #graph

Computing with Graph Relabelling Systems with Priorities (IL, YM), pp. 549–563.

GG-1990-LuckL

Double-wall Cellworks Systems for Plant Meristems (JL, HBL), pp. 564–581.

GG-1990-Maggiolo-SchettiniW #relational

Programmed Derivations of Relational Structures (AMS, JW), pp. 582–598.

GG-1990-NaglS #graph grammar #specification

A Specification Environment for Graph Grammars (MN, AS), pp. 599–609.

GG-1990-Paz90a #formal method #overview

The Theory of Graphoids: A Survey (AP), pp. 610–621.

GG-1990-Plump #term rewriting

Graph-Reducible Term Rewriting Systems (DP), pp. 622–636.

GG-1990-Rosenfeld #graph

A Note on Graph Decimation (AR), pp. 637–640.

GG-1990-Schurr90b #graph grammar #named

PROGRESS: A VHL-Language Based on Graph Grammars (AS), pp. 641–659.

GG-1990-TaentzerS #graph grammar

Movement of Objects in Configuration Spaces modelled by graph Grammars (GT, HS), pp. 660–675.

GG-1990-Vogler #graph #polynomial

Recognizing Edge Replacement Graph Languages in Cubic Time (WV), pp. 676–687.

GG-1990-EhrigL #graph transformation

Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.