Cover Image

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings /

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on v...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Giese, Holger. (Editor, http://id.loc.gov/vocabulary/relators/edt), König, Barbara. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Theoretical Computer Science and General Issues ; 8571
Subjects:
Computer science—Mathematics.
Software engineering.
Data structures (Computer science).
Computer logic.
Algorithms.
Mathematical logic.
Discrete Mathematics in Computer Science.
Software Engineering.
Data Structures.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-09108-2
Table of Contents:
  • Verification
  • Meta-Modelling and Model Transformations
  • Rewriting and Applications in Biology
  • Graph Languages and Graph Transformation
  • Applications. Meta-Modelling and Model Transformations
  • Rewriting and Applications in Biology
  • Graph Languages and Graph Transformation
  • Applications.

Similar Items