Graph Transformation

14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings

AvFabio Gadducci,Timo Kehrer

Häftad, Engelska, 2021

Del 12741 i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2021-06-18
Mått:155 x 235 x 21 mm
Vikt:488 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:303
Upplaga:21001
Förlag:Springer Nature Switzerland AG
ISBN:9783030789459

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Diskret matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.

Du kanske också är intresserad av

Graph Transformation

Timo Kehrer, Fabio Gadducci

E-bok

2021

718 kr

Del 12150

Graph Transformation

Fabio Gadducci, Timo Kehrer

Häftad, 2020

556 kr

Graph Transformation

Timo Kehrer, Fabio Gadducci

E-bok

2020

718 kr

Software Architecture

Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer

Inbunden, 2011

983 kr

Architecting Dependable Systems VI

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek

Häftad, 2009

573 kr

History and Philosophy of Computing

Mirko Tavosanis, Fabio Gadducci

E-bok

2016

718 kr

Architecting Dependable Systems VI

Maurice H. ter Beek, Fabio Gadducci, Cristina Gacek, Jean-Charles Fabre, Rogerio de Lemos

E-bok

2009

734 kr

Software-Architektur

Uwe Zdun, Uwe Mehlig, Timo Kehrer, Edmund Ihler, Arif Chughtai, Ingo Arnold, Oliver Vogel

E-bok

2009

1 289 kr

Del 487

History and Philosophy of Computing

Fabio Gadducci, Mirko Tavosanis

Häftad, 2018

556 kr

Del 487

History and Philosophy of Computing

Fabio Gadducci, Mirko Tavosanis

Inbunden, 2016

556 kr

Graph Transformation

14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings

AvFabio Gadducci,Timo Kehrer

Häftad, Engelska, 2021

Del 12741 i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2021-06-18
Mått:155 x 235 x 21 mm
Vikt:488 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:303
Upplaga:21001
Förlag:Springer Nature Switzerland AG
ISBN:9783030789459

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Diskret matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.