Algebraic transformation of unary partial algebras II: Single-pushout approach

DOI10.1016/S0304-3975(97)00282-XzbMath0914.68120MaRDI QIDQ1285664

Miquel Monserrat, Francesc Rosselló, Gabriel Valiente, Peter Burmeister

Publication date: 28 April 1999

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

zbMATH Keywords

partial algebrasgraph grammarsalgebraic graph transformationhigh-level replacement systemsHLR conditions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Algebraic transformation of unary partial algebras. I: Double-pushout approach ⋮ Single Pushout Rewriting in Comprehensive Systems ⋮ SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS ⋮ GETGRATS ⋮ Single pushout rewriting in comprehensive systems of graph-like structures ⋮ PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS II: CLOSED QUOMORPHISMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• On graph rewritings
• Algebraic system specification and development. A survey and annotated bibliography
• Grammars on partial graphs
• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• Amalgamation of graph transformations: a synchronization mechanism
• Partial morphisms on partial algebras
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. III
• A NOTE ON A SERIES OF PAPERS BY BURMEISTER AND WOJDYtO
• A partial algebras approach to graph transformation
• WHEN IS A CATEGORY OF MANY-SORTED PARTIAL ALGEBRAS CARTESIAN-CLOSED?