Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12741)
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 2021.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (16 papers)
-
Front Matter
-
Theoretical Advances
-
Front Matter
-
-
Application Domains
-
Front Matter
-
About this book
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.
Keywords
- approximation theory
- formal languages
- formal languages and automata theory
- graph theory
- graph transformation
- graphic methods
- logic
- mathematical transformations
- modeling and simulation
- models of computation
- petri nets
- polynomial approximation
- semantics and reasoning
- software engineering
- software notations and tools
- software organisation and properties
- symbolic and algebraic manipulation
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: 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings
Editors: Fabio Gadducci, Timo Kehrer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-78946-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-78945-9Published: 18 June 2021
eBook ISBN: 978-3-030-78946-6Published: 17 June 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 303
Number of Illustrations: 54 b/w illustrations, 10 illustrations in colour
Topics: Discrete Mathematics in Computer Science, Computer Graphics, Algorithm Analysis and Problem Complexity, Data Structures and Information Theory, Programming Techniques