Central Library

Normal view MARC view ISBD view

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.

Contributor(s): Gadducci, Fabio [editor.] | Kehrer, Timo [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 12741Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Edition: 1st ed. 2021.Description: XII, 303 p. 64 illus., 10 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030789466.Subject(s): Computer science -- Mathematics | Discrete mathematics | Computer graphics | Algorithms | Data structures (Computer science) | Information theory | Computer programming | Discrete Mathematics in Computer Science | Computer Graphics | Design and Analysis of Algorithms | Data Structures and Information Theory | Programming TechniquesAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.