Algebraic properties and transformations of monographs

DOI10.1016/j.tcs.2024.114939MaRDI QIDQ6652464

Thierry Boy de la Tour

Publication date: 12 December 2024

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

zbMATH Keywords

graph structuresalgebraic graph transformationtyped graphs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Higher-dimensional word problems with applications to equational logic
• Algebraic approach to single-pushout graph transformation
• On graph rewritings
• Categories of partial maps
• The PBPO graph transformation approach
• Parallel rewriting of attributed graphs
• Parallel coherent graph transformations
• Fundamentals of algebraic graph transformation
• Double-pushout graph transformation revisited
• AGREE – Algebraic Graph Rewriting with Controlled Embedding
• Sesqui-Pushout Rewriting
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Adhesive and quasiadhesive categories

This page was built for publication: Algebraic properties and transformations of monographs