Van Kampen Squares for Graph Transformation

DOI10.1007/978-3-319-09108-2_15zbMath1423.68233OpenAlexW173474580MaRDI QIDQ3192239

Harald König, Christoph Schulz, Michael Löwe, U. E. Wolter

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_15

zbMATH Keywords

co-evolutionVan Kampen squareco-transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (1)

Van Kampen Colimits and Path Uniqueness

This page was built for publication: Van Kampen Squares for Graph Transformation