![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Graph Transformations in Computer Science 1993
- Hans Jürgen Schneider, Hartmut Ehrig:
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Lecture Notes in Computer Science 776, Springer 1994, ISBN 3-540-57787-4 - Kunio Aizawa, Akira Nakamura:
Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis. 1-18 - Marc Andries, Gregor Engels:
Syntax and Semantics of Hybrid Database Languages. 19-36 - Stefan Arnborg:
Decomposability Helps for Deciding Logics of Knowledge and Belief. 37-50 - Erik Barendsen, Sjaak Smetsers:
Extending Graph Rewriting with Copying. 51-70 - Klaus Barthelmann, Georg Schied:
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. 71-85 - Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach. 86-103 - Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. 119-137 - Bruno Courcelle, Jens Lagergren:
Recognizable Sets of Graphs of Bounded Tree-Width. 138-152 - Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer:
Canonical Derivaitons for High-Level Replacement Systems. 153-169 - Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche:
A Computational Model for Generic Graph Functions. 170-187 - Ewa Grabska:
Graphs and Designing. 188-202 - Dirk Janssens:
ESM Systems and the Composition of Their Computations. 203-217 - Yasuo Kawahara, Yoshihiro Mizoguchi:
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. 218-233 - Martin Korff:
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. 234-264 - Andrea Maggiolo-Schettini, Adriano Peron:
Semantics of Full Statecharts Based on Graph Rewriting. 265-279 - Ugo Montanari, Francesca Rossi:
Contextual Occurence Nets and Concurrent Constraint Programming. 280-295 - Manfred Nagl:
Uniform-Modelling in Graph Grammar Specifications. 296-311 - Jean-Claude Raoult, Frédéric Voisin:
Set-Theoretic Graph Rewriting. 312-325 - Georg Schied:
On Relating Rewriting Systems and Graph Grammars to Event Structures. 326-340 - Andy Schürr:
Logic Based Structure Rewriting Systems. 341-357 - Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. 358-379 - Gabriele Taentzer, Martin Beyer:
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. 380-394
![](https://dblp.dagstuhl.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.