LEADER 04625nam  22008415  450 
001 9910484447003321
005 20230810184650.0
010   $a3-319-21145-5
024 7 $a10.1007/978-3-319-21145-9
035   $a(CKB)3710000000454181
035   $a(SSID)ssj0001558526
035   $a(PQKBManifestationID)16183808
035   $a(PQKBTitleCode)TC0001558526
035   $a(PQKBWorkID)14818601
035   $a(PQKB)11255229
035   $a(DE-He213)978-3-319-21145-9
035   $a(MiAaPQ)EBC5586787
035   $a(Au-PeEL)EBL5586787
035   $a(OCoLC)914297181
035   $a(PPN)187688702
035   $a(EXLCZ)993710000000454181
100   $a20150716d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aGraph Transformation $e8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /$fedited by Francesco Parisi-Presicce, Bernhard Westfechtel
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 283 p. 93 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9151
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-21144-7 
327   $aPolymorphic Sesqui-Pushout Graph Rewriting -- Predictive Top-Down Parsing for Hyperedge Replacement Grammars -- AGREE ? Algebraic Graph Rewriting with Controlled Embedding -- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings -- Towards Local Confluence Analysis for Amalgamated Graph Transformation -- Multi-amalgamated Triple Graph Grammars -- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs -- Reachability in Graph Transformation Systems and Slice Languages -- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations -- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems -- Graph Pattern Matching as an Embedded Clojure DSL -- Using Graph Transformations for Formalizing Prescriptions and Monitoring -- Towards Compliance Verification Between Global and Local Process Models -- Inductive Invariant Checking with Partial Negative Application Conditions -- Tool Support for Multi-amalgamated Triple Graph Grammars -- Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems -- Local Search-Based Pattern Matching Features in EMF-INCQUERY.
330   $aThis book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9151
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aSoftware engineering
606   $aArtificial intelligence$xData processing
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aDiscrete Mathematics in Computer Science
606   $aSoftware Engineering
606   $aData Science
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aSoftware engineering.
615  0$aArtificial intelligence$xData processing.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aSoftware Engineering.
615 24$aData Science.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
676   $a004.0151
702   $aParisi-Presicce$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWestfechtel$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484447003321
996   $aGraph Transformation$92896451
997   $aUNINA