Algebraic transformation of unary partial algebras. I: Double-pushout approach

DOI10.1016/S0304-3975(96)00139-9zbMath0896.08006OpenAlexW4213091572MaRDI QIDQ1390937

Gabriel Valiente, Francesc Rosselló, Peter Burmeister, Joan Torrens

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00139-9

zbMATH Keywords

categoriesrewritingalgebraic transformationdouble-pushout approachclosed homomorphismhigh level replacementpartial many-sorted unary algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of algebras (08C05) Partial algebras (08A55) Unary algebras (08A60)

Related Items (4)

Towards a Double Pushout Transformation of Algebras ⋮ The uniqueness condition for the double pushout transformation of algebras ⋮ Algebraic transformation of unary partial algebras II: Single-pushout approach ⋮ PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS II: CLOSED QUOMORPHISMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Grammars on partial graphs
• Algebraic transformation of unary partial algebras II: Single-pushout approach
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. II PRODUCTS AND COPRODUCTS
• A partial algebras approach to graph transformation
• WHEN IS A CATEGORY OF MANY-SORTED PARTIAL ALGEBRAS CARTESIAN-CLOSED?
• Relational structures and their partial morphisms in view of single pushout rewriting

This page was built for publication: Algebraic transformation of unary partial algebras. I: Double-pushout approach