Research Catalog

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings

Title
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.).
Publication
Berlin ; New York : Springer-Verlag, [1994], ©1994.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA75.5 .G725 1994Off-site

Holdings

Details

Additional Authors
  • Schneider, Hans-Jürgen
  • Ehrig, Hartmut
Description
viii, 394 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 776
Uniform Title
Lecture notes in computer science ; 776.
Subject
  • Computer science > Congresses
  • Computer graphics > Congresses
Contents
  • Path-Controlled Graph Grammars for Multiresolution Image Processing and Analysis / K. Aizawa and A. Nakamura -- Syntax and Semantics of Hybrid Database Languages / M. Andries and G. Engels -- Decomposability Helps for Deciding Logics of Knowledge and Belief / S. Arnborg -- Extending Graph Rewriting with Copying / E. Barendsen and S. Smetsers -- Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems / K. Barthelmann and G. Schied -- Abstract Graph Derivations in the Double Pushout Approach / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Note on Standard Representation of Graphs and Graph Derivations / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine / A. Corradini and D. Wolz -- Recognizable Sets of Graphs of Bounded Tree-Width / B. Courcelle and J. Lagergren -- Canonical Derivations for High-Level Replacement Systems / H. Ehrig, H.-J. Kreowski and G. Taentzer.
  • A Computational Model for Generic Graph Functions / M. Gemis, J. Paredaens, P. Peelman and J. Van den Bussche -- Graphs and Designing / E. Grabska -- ESM Systems and the Composition of Their Computations / D. Janssens -- Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting / Y. Kawahara and Y. Mizoguchi -- Single Pushout Transformations of Equationally Defined Graph Structures with Applications to Actor Systems / M. Korff -- Parallelism in Single-Pushout Graph Rewriting / M. Lowe and J. Dingel -- Semantics of Full Statecharts Based on Graph Rewriting / A. Maggiolo-Schettini and A. Peron -- Contextual Occurrence Nets and Concurrent Constraint Programming / U. Montanari and F. Rossi -- Uniform-Modelling in Graph Grammar Specifications / M. Nagl -- Set-Theoretic Graph Rewriting / J.-C. Raoult and F. Voisin -- On Relating Rewriting Systems and Graph Grammars to Event Structures / G. Schied -- Logic Based Structure Rewriting Systems / A. Schurr.
  • Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs / S. Smetsers, E. Barendsen, M. v. Eekelen and R. Plasmeijer -- Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System / G. Taentzer and M. Beyer.
ISBN
0387577874 (alk. paper) :
LCCN
94000886
OCLC
  • 29843582
  • ocm29843582
Owning Institutions
Columbia University Libraries