1 option
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings / edited by Fabio Gadducci, Timo Kehrer.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 12150
- Theoretical Computer Science and General Issues, 2512-2029 ; 12150
- Language:
- English
- Subjects (All):
- Computer science-Mathematics.
- Discrete mathematics.
- Algorithms.
- Artificial intelligence-Data processing.
- Compilers (Computer programs).
- Computer programming.
- Discrete Mathematics in Computer Science.
- Data Science.
- Compilers and Interpreters.
- Programming Techniques.
- Local Subjects:
- Discrete Mathematics in Computer Science.
- Algorithms.
- Data Science.
- Compilers and Interpreters.
- Programming Techniques.
- Physical Description:
- 1 online resource (XIV, 335 pages) : 1368 illustrations, 66 illustrations in color.
- Edition:
- 1st ed. 2020.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2020.
- System Details:
- text file PDF
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-51372-6
- 9783030513726
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.