Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12150)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ICGT: International Conference on Graph Transformation
Conference proceedings info: ICGT 2020.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
-
Theoretical Advances
-
Front Matter
-
-
Application Domains
-
Front Matter
-
-
Tool Presentations
-
Front Matter
-
About this book
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.
Keywords
- 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
- semantics
- signal processing
- software engineering
- weighted graph
- algorithm analysis and problem complexity
- data structures
Editors and Affiliations
-
Università di Pisa, Pisa, Italy
Fabio Gadducci
-
Humboldt-Universität zu Berlin, Berlin, Germany
Timo Kehrer
Bibliographic Information
Book Title: Graph Transformation
Book Subtitle: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
Editors: Fabio Gadducci, Timo Kehrer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-51372-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-51371-9Published: 26 June 2020
eBook ISBN: 978-3-030-51372-6Published: 25 June 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 335
Number of Illustrations: 113 b/w illustrations, 66 illustrations in colour
Topics: Discrete Mathematics in Computer Science, Algorithm Analysis and Problem Complexity, Data Structures, Programming Languages, Compilers, Interpreters, Programming Techniques