Relational structures and their partial morphisms in view of single pushout rewriting

DOI10.1007/3-540-57787-4_14zbMath1494.68113OpenAlexW1584071155MaRDI QIDQ5096284

Yoshihiro Mizoguchi, Yasuo Kawahara

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-57787-4_14

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (7)

Relational set theory ⋮ Algebraic transformation of unary partial algebras. I: Double-pushout approach ⋮ Categorical representation theorems of fuzzy relations ⋮ Properties of graphs preserved by relational graph rewritings ⋮ Relational graph rewritings ⋮ A small final coalgebra theorem ⋮ An algebraic formalization of fuzzy relations

Cites Work

• Relational graph rewritings
• Pushout-complements and basic concepts of grammars in toposes
• On graph rewritings
• Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
• Categories of partial maps
• Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
• Transformations of structures: An algebraic approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relational structures and their partial morphisms in view of single pushout rewriting