Graph Transformation
13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Fabio Gadducci
Themen in »Graph Transformation«
artificial intelligence computer programming computer systems context sensitive grammars databases directed graphs formal languages formal logic graph grammar graph theory graph transformation graphic methods mathematical transformations model checking petri nets