Login / Signup
Dagstuhl Seminar on Graph Transformations in Computer Science
1993
1994
1993
1994
Keyphrases
Publications
volume 776, 1994
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings
Dagstuhl Seminar on Graph Transformations in Computer Science
776 (1994)
1993
Ewa Grabska
Graphs and Designing.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Stefan Arnborg
Decomposability Helps for Deciding Logics of Knowledge and Belief.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Martin Korff
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Gabriele Taentzer
,
Martin Beyer
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Andrea Corradini
,
Hartmut Ehrig
,
Michael Löwe
,
Ugo Montanari
,
Francesca Rossi
Abstract Graph Derivations in the Double Pushout Approach.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Kunio Aizawa
,
Akira Nakamura
Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Hartmut Ehrig
,
Hans-Jörg Kreowski
,
Gabriele Taentzer
Canonical Derivaitons for High-Level Replacement Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Manfred Nagl
Uniform-Modelling in Graph Grammar Specifications.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Marc Gemis
,
Jan Paredaens
,
Peter Peelman
,
Jan Van den Bussche
A Computational Model for Generic Graph Functions.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Jean-Claude Raoult
,
Frédéric Voisin
Set-Theoretic Graph Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Ugo Montanari
,
Francesca Rossi
Contextual Occurence Nets and Concurrent Constraint Programming.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Dirk Janssens
ESM Systems and the Composition of Their Computations.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Andy Schürr
Logic Based Structure Rewriting Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Andrea Maggiolo-Schettini
,
Adriano Peron
Semantics of Full Statecharts Based on Graph Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
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.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Marc Andries
,
Gregor Engels
Syntax and Semantics of Hybrid Database Languages.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Bruno Courcelle
,
Jens Lagergren
Recognizable Sets of Graphs of Bounded Tree-Width.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Klaus Barthelmann
,
Georg Schied
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Erik Barendsen
,
Sjaak Smetsers
Extending Graph Rewriting with Copying.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Georg Schied
On Relating Rewriting Systems and Graph Grammars to Event Structures.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Andrea Corradini
,
Hartmut Ehrig
,
Michael Löwe
,
Ugo Montanari
,
Francesca Rossi
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)
Yasuo Kawahara
,
Yoshihiro Mizoguchi
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
(1993)