Pullback rewriting and applications
From MaRDI portal
Publication:4923531
DOI10.1016/S1571-0661(04)80193-2zbMath1263.68067OpenAlexW2076025845MaRDI QIDQ4923531
Renate Klempien-Hinrichs, Hélène Jacquet, Michel Bauderon
Publication date: 24 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80193-2
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items
Cites Work