Graph transformation : 14th International Conference, ICGT 2021, held as part of STAF 2021, Virtual event, June 24-25, 2021, Proceedings / edited by Fabio Gadducci, Timo Kehrer (eds.).
ICGT (Conference) (14th : 2021 : Online); Gadducci, Fabio, editor; Kehrer, Timo, editor; STAF (Federation of conferences) (2021 : Online)
2021
QA166 .I24 2021eb
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Graph transformation : 14th International Conference, ICGT 2021, held as part of STAF 2021, Virtual event, June 24-25, 2021, Proceedings / edited by Fabio Gadducci, Timo Kehrer (eds.).
Meeting Name
ICGT (Conference) (14th : 2021 : Online)
ISBN
9783030789466 (electronic bk.)
3030789462 (electronic bk.)
9783030789459 (print)
3030789454
DOI
https://doi.org/10.1007/978-3-030-78946-6
Published
Cham, Switzerland : Springer, [2021]
Language
English
Description
1 online resource (xii, 303 pages) : illustrations (some color)
Item Number
10.1007/978-3-030-78946-6 doi
Call Number
QA166 .I24 2021eb
Dewey Decimal Classification
511/.5
Summary
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.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 25, 2021).
Added Author
Gadducci, Fabio, editor
Kehrer, Timo, editor
Added Meeting Name
STAF (Federation of conferences) (2021 : Online)
Series
Lecture notes in computer science ; 12741.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export