| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:415054300:3810 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:415054300:3810?format=raw |
LEADER: 03810fam a2200385 a 4500
001 1440666
005 20220602034949.0
008 940202t19941994gw a b 100 0 eng
010 $a 94000886
020 $a0387577874 (alk. paper) :$cDM80.00
035 $a(OCoLC)29843582
035 $a(OCoLC)ocm29843582
035 $9AHV9437CU
035 $a(NNC)1440666
035 $a1440666
040 $aDLC$cDLC$dNNC
050 00 $aQA75.5$b.G725 1994
082 00 $a005.1/015115$220
245 00 $aGraph transformations in computer science :$binternational workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings /$cHans Jürgen Schneider, Hartmut Ehrig, (eds.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c[1994], ©1994.
263 $a9403
300 $aviii, 394 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science ;$v776
505 0 $aPath-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.
505 0 $aA 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.
505 0 $aGuaranteeing 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.
650 0 $aComputer science$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101220
650 0 $aComputer graphics$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008100018
700 1 $aSchneider, Hans-Jürgen.$0http://id.loc.gov/authorities/names/n82027269
700 1 $aEhrig, Hartmut.$0http://id.loc.gov/authorities/names/n79131463
830 0 $aLecture notes in computer science ;$v776.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA75.5$i.G725 1994