Pushout-Properties: An analysis of gluing constructions for graphs
DOI10.1002/MANA.19790910111zbMATH Open0431.68069OpenAlexW1967230567MaRDI QIDQ3868784FDOQ3868784
Authors: Hartmut Ehrig, Hans-Jörg Kreowski
Publication date: 1979
Published in: Mathematische Nachrichten (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/mana.19790910111
category of graphsalgebraic theory of graph grammarsboundary morphismsgluing construction for graphsnonuniversal propertiespushout constructionpushout decomposition
Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
Cited In (19)
- Algebraic approach to single-pushout graph transformation
- Triangular Logic of Partial Toposes
- Lax pullback complements and pullbacks of spans
- Pushout-complements and basic concepts of grammars in toposes
- Amalgamation of graph transformations: a synchronization mechanism
- The contractum in algebraic graph rewriting
- On categorical graph grammars integrating structural transformations and operations on labels
- Graph expressions and graph rewritings
- Formalising the double-pushout approach to graph transformation
- Pullbacks of graph C*-algebras from admissible pushouts of graphs
- Parallelism and concurrency in high-level replacement systems
- Exponentiable morphisms, partial products and pullback complements
- Characterizations of some (weak) Grothendieck topologies
- Another look at parameterization for oder-sorted algebraic specifications
- Canonical derivations for high-level replacement systems
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- High-Level Programs and Program Conditions
- Locating the contractum in the double pushout approach
- Relational graph rewritings
This page was built for publication: Pushout-Properties: An analysis of gluing constructions for graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3868784)