Graph Transformation  14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings /  [electronic resource] : 
edited by Fabio Gadducci, Timo Kehrer. 
 - 1st ed. 2021. 
 - XII, 303 p. 64 illus., 10 illus. in color.  online resource. 
 - Theoretical Computer Science and General Issues,  12741  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  12741 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783030789466 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-78946-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Computer graphics.<br/>Algorithms.<br/>Data structures (Computer science).<br/>Information theory.<br/>Computer programming.<br/>Discrete Mathematics in Computer Science.<br/>Computer Graphics.<br/>Design and Analysis of Algorithms.<br/>Data Structures and Information Theory.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA76.9.M35 QA297.4 
<br/><br/><label>Dewey Class. No.: </label>004.0151