![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.