04337nam a22005895i 4500 978-3-030-78946-6 DE-He213 20210624172153.0 cr nn 008mamaa 210617s2021 gw | s |||| 0|eng d 9783030789466 978-3-030-78946-6 10.1007/978-3-030-78946-6 doi QA76.9.M35  PBD bicssc COM018000 bisacsh PBD thema UYAM thema 004.0151 23 Graph Transformation [electronic resource] : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / edited by Fabio Gadducci, Timo Kehrer. 1st ed. 2021. Cham : Springer International Publishing : Imprint: Springer, 2021. XII, 303 p. 64 illus., 10 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Theoretical Computer Science and General Issues ; 12741 Theoretical Advances -- Concurrency Theorems for Non-linear Rewriting Theories -- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting -- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors -- Graph Rewriting and Relabeling with PBPO+ -- Incorrectness Logic for Graph Programs -- Powerful and NP-Complete: Hypergraph Lambek Grammars -- Evaluation Diversity for Graph Conditions -- Application Domains -- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching -- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars -- Nets with Mana: A Framework for Chemical Reaction Modelling -- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles -- Interval Probabilistic Timed Graph Transformation Systems -- Verifying Graph Programs with Monadic Second-Order Logic -- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems -- Tool Presentations -- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars -- GrapePress - A Computational Notebook for Graph Transformations. This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations. Computer science—Mathematics. Computer graphics. Algorithms. Data structures (Computer science). Computer programming. Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product-market-codes/I17028 Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013 Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product-market-codes/I16021 Data Structures and Information Theory. https://scigraph.springernature.com/ontologies/product-market-codes/I15009 Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010 Gadducci, Fabio. editor. (orcid)0000-0003-0690-3051 https://orcid.org/0000-0003-0690-3051 edt http://id.loc.gov/vocabulary/relators/edt Kehrer, Timo. editor. (orcid)0000-0002-2582-5557 https://orcid.org/0000-0002-2582-5557 edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) Springer Nature eBook Printed edition: 9783030789459 Printed edition: 9783030789473 Theoretical Computer Science and General Issues ; 12741 https://doi.org/10.1007/978-3-030-78946-6 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC Computer Science (SpringerNature-11645) Computer Science (R0) (SpringerNature-43710)