Theoretical Computer Science, Volume 109

Volume 109, Numbers 1&2, 1993

• Hartmut Ehrig, Michael Löwe: The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. 3-6 BibTeX
• Andrea Corradini, Francesca Rossi: Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. 7-48 BibTeX
• Bruno Courcelle, Mohamed Mosbah: Monadic Second-Order Evaluations on Tree-Decomposable Graphs. 49-82 BibTeX
• Frank Drewes: Recognising k-Connected Hypergraphs in Cubic Time. 83-122 BibTeX
• Hartmut Ehrig, Michael Löwe: Parallel and Distributed Derivations in the Single-Pushout Approach. 123-143 BibTeX
• Dirk Janssens: Equivalence of Computations in Actor Grammars. 145-180 BibTeX
• Michael Löwe: Algebraic Approach to Single-Pushout Graph Transformation. 181-224 BibTeX
• Ugo Montanari, Francesca Rossi: Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming. 225-256 BibTeX
• Hans Jürgen Schneider: On Categorical Graph Grammars Integrating Structural Transformations and Operations on Labels. 257-274 BibTeX