The uniqueness condition for the double pushout transformation of algebras

DOI10.1016/j.ins.2004.03.019zbMath1126.08003OpenAlexW1993088323MaRDI QIDQ2486006

Mercè Llabrés, Francesc Rosselló

Publication date: 5 August 2005

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2004.03.019

zbMATH Keywords

congruence extension propertypartial algebradouble pushout algebraic transformation

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42) Partial algebras (08A55)

Cites Work

• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Pushout-complements and basic concepts of grammars in toposes
• Semigroups with the congruence extension property
• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• A note on the congruence extension property
• Pushout complements for partly total algebras
• Parallelism and concurrency in high-level replacement systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• On the congruence extension property
• On the congruence extension property for semigroups: preservation under homomorphic images
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The uniqueness condition for the double pushout transformation of algebras