1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation...

2
Published 2012
Springer Berlin Heidelberg
...This book constitutes the proceedings of the 6th International Conference on Graph Transformations...

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... and Subsumption in High-Level Replacement Systems -- Knowledge Representation and Graph Transformation...

4
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...

5
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...Recognizing edge replacement graph languages in cubic time -- Computing by graph transformation...

6
Published 2012
Springer Berlin Heidelberg
... development; graph transformations, term rewriting and proof systems; integration of formal specification...