The uniqueness condition for the double pushout transformation of algebras

DOI10.1016/J.INS.2004.03.019MaRDI QIDQ2486006zbMATH OpenOpenAlexFDO

Authors 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 propertydouble pushout algebraic transformationpartial algebra

Mathematics Subject Classification ID

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

Recommendations

• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• Towards a double pushout transformation of algebras
• scientific article; zbMATH DE number 1067869
• SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS
• Algebraic transformation of unary partial algebras II: Single-pushout approach

Cites work

• A note on the congruence extension property
• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 437418 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 604886 (Why is no real title available?)
• scientific article; zbMATH DE number 1504832 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• On the congruence extension property
• On the congruence extension property for semigroups: preservation under homomorphic images
• Parallelism and concurrency in high-level replacement systems
• Pushout complements for partly total algebras
• Pushout-complements and basic concepts of grammars in toposes
• Semigroups with the congruence extension property

Cited in

(5)

• Algebraic transformation of unary partial algebras II: Single-pushout approach
• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• scientific article; zbMATH DE number 1067869 (Why is no real title available?)
• Towards a double pushout transformation of algebras
• SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486006)