Theoretical Computer Science
, Volume 109
Volume 109, Numbers 1&2, 1993
Selected Papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21-23, 1991
Hartmut Ehrig
,
Michael Löwe
: The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. 3-6
Andrea Corradini
,
Francesca Rossi
: Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. 7-48
Bruno Courcelle
,
Mohamed Mosbah
: Monadic Second-Order Evaluations on Tree-Decomposable Graphs. 49-82
Frank Drewes
: Recognising k-Connected Hypergraphs in Cubic Time. 83-122
Hartmut Ehrig
,
Michael Löwe
: Parallel and Distributed Derivations in the Single-Pushout Approach. 123-143
Dirk Janssens
: Equivalence of Computations in Actor Grammars. 145-180
Michael Löwe
: Algebraic Approach to Single-Pushout Graph Transformation. 181-224
Ugo Montanari
,
Francesca Rossi
: Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming. 225-256
Hans Jürgen Schneider
: On Categorical Graph Grammars Integrating Structural Transformations and Operations on Labels. 257-274
Copyright ©
Fri Mar 12 17:33:07 2010 by
Michael Ley
(
ley@uni-trier.de
)