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)
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)
Cites Work
This page was built for publication: Towards a Double Pushout Transformation of Algebras