Towards a Double Pushout Transformation of Algebras
From MaRDI portal
Publication:4923547
DOI10.1016/S1571-0661(04)80209-3zbMath1263.68087MaRDI QIDQ4923547
Mercè Llabrés, Francesc Rosselló
Publication date: 24 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q42: Grammars and rewriting systems
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)