Graph rewriting in span-categories

DOI10.1007/978-3-642-15928-2_15MaRDI QIDQ4931317zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michael Löwe

Publication date 4 October 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Refined Graph Rewriting in Span-Categories
• scientific article; zbMATH DE number 139800
• Parallelism in single-pushout graph rewriting
• scientific article; zbMATH DE number 1638662
• Algebraic approach to single-pushout graph transformation

Cited in

(15)

• Algebraic graph rewriting with controlled embedding
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Single pushout rewriting in comprehensive systems of graph-like structures
• Partial pullback complement rewriting along admissible matches
• Partial pullback complement rewriting
• Refined Graph Rewriting in Span-Categories
• Polymorphic sesqui-pushout graph rewriting
• AGREE -- algebraic graph rewriting with controlled embedding
• Graph Transformation by Computational Category Theory
• Model transformation and induced instance migration: a universal framework
• Sesqui-pushout rewriting with type refinements
• Reversible sesqui-pushout rewriting
• Deduction as reduction, from a categorical point of view
• Strategic port graph rewriting: an interactive modelling framework
• Finitary \(\mathcal{M}\)-adhesive categories

This page was built for publication: Graph rewriting in span-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931317)