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
  
• 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
  

Last update Wed May 22 18:51:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page