Refined Graph Rewriting in Span-Categories
From MaRDI portal
Publication:2918976
DOI10.1007/978-3-642-33654-6_8zbMath1366.68124OpenAlexW2274900705MaRDI QIDQ2918976
Publication date: 2 October 2012
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-33654-6_8
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items
Deduction as reduction, from a categorical point of view, The PBPO graph transformation approach, Single pushout rewriting in comprehensive systems of graph-like structures
