LEADER 05323nam 22007455 450 001 996466032903316 005 20200630030716.0 010 $a3-540-48333-0 024 7 $a10.1007/3-540-57787-4 035 $a(CKB)1000000000234086 035 $a(SSID)ssj0000323604 035 $a(PQKBManifestationID)11268844 035 $a(PQKBTitleCode)TC0000323604 035 $a(PQKBWorkID)10299439 035 $a(PQKB)10257687 035 $a(DE-He213)978-3-540-48333-5 035 $a(PPN)155230263 035 $a(EXLCZ)991000000000234086 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGraph Transformations in Computer Science$b[electronic resource] $eInternational Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings /$fedited by Hans J. Schneider, Hartmut Ehrig 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (VIII, 404 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v776 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57787-4 327 $aPath-controlled graph grammars for multiresolution image processing and analysis -- Syntax and semantics of hybrid database languages -- Decomposability helps for deciding logics of knowledge and belief -- Extending graph rewriting with copying -- Graph-grammar semantics of a higher-order programming language for distributed systems -- Abstract graph derivations in the double pushout approach -- Note on standard representation of graphs and graph derivations -- Jungle rewriting: An abstract description of a lazy narrowing machine -- Recognizable sets of graphs of bounded tree-width -- Canonical derivations for high-level replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM systems and the composition of their computations -- Relational structures and their partial morphisms in view of single pushout rewriting -- Single pushout transformations of equationally defined graph structures with applications to actor systems -- Parallelism in single-pushout graph rewriting -- Semantics of full statecharts based on graph rewriting -- Contextual occurrence nets and concurrent constraint programming -- Uniform-modelling in graph grammar specifications -- Set-theoretic graph rewriting -- On relating rewriting systems and graph grammars to event structures -- Logic based structure rewriting systems -- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs -- Amalgamated graph transformations and their use for specifying AGG ? an algebraic graph grammar system. 330 $aThe research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v776 606 $aPattern recognition 606 $aComputers 606 $aMathematical logic 606 $aCombinatorics 606 $aSoftware engineering 606 $aData structures (Computer science) 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 615 0$aPattern recognition. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aCombinatorics. 615 0$aSoftware engineering. 615 0$aData structures (Computer science). 615 14$aPattern Recognition. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aCombinatorics. 615 24$aSoftware Engineering. 615 24$aData Structures. 676 $a006.4 702 $aSchneider$b Hans J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466032903316 996 $aGraph transformations in computer science$91381952 997 $aUNISA