Graph transformation : 13th International Conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings / Fabio Gadducci, Timo Kehrer (eds.).
ICGT (Conference) (13th : 2020 : Online); Gadducci, Fabio.; Kehrer, Timo.; STAF (Federation of conferences) (2020 : Online)
2020
QA166 .I24 2020eb
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 : 13th International Conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings / Fabio Gadducci, Timo Kehrer (eds.).
Meeting Name ICGT (Conference) (13th : 2020 : Online)
ISBN 9783030513726 (electronic book)
3030513726 (electronic book)
3030513718
9783030513719
DOI https://doi.org/10.1007/978-3-030-51
Publication Details Cham : Springer, 2020.
Language English
Description 1 online resource
Item Number 10.1007/978-3-030-51
Call Number QA166 .I24 2020eb
Dewey Decimal Classification 511/.5
Summary This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations. *The conference was held virtually due to the COVID-19 pandemic.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Added Author Gadducci, Fabio.
Kehrer, Timo.
Added Meeting Name STAF (Federation of conferences) (2020 : Online)
Series Lecture notes in computer science ; 12150.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783030513719
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Theoretical Advances
Conditional Bigraphs
Confluence up to Garbage
Computing embeddings of directed bigraphs
A Categorical Semantics for Guarded Petri Nets
Unfolding Symbolic Attributed Graph Grammars
Single Pushout Rewriting in Comprehensive Systems
Initial Conflicts for Transformation Rules with Nested Application Conditions
Patch Graph Rewriting
Hypergraph basic categorial grammars
Multilevel Typed Graph Transformations
Application Domains
Rewriting Theory for the Life Sciences: A Unifying Framework for CTMC Semantics
Algebras for tree decomposable graphs
Graph Parsing as Graph Transformation
Correctness of Predictive Top-Down Parsers
Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
Optimistic and Pessimistic On-the- y Analysis for Metric Temporal Graph Logic
Tool Presentations
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
Multiscale graph grammars can generate Cayley graphs of groups and monoids
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies.

Browse Subjects

Show more subjects...

Statistics

from
to
Export