Algebraic properties and transformations of monographs
From MaRDI portal
Publication:6652464
DOI10.1016/j.tcs.2024.114939MaRDI QIDQ6652464
Publication date: 12 December 2024
Published in: Theoretical Computer Science (Search for Journal in Brave)
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