Single pushout rewriting in comprehensive systems
DOI10.1007/978-3-030-51372-6_6zbMATH Open1502.68153OpenAlexW3037914476MaRDI QIDQ5100728FDOQ5100728
Authors: Harald König, Patrick Stünkel 
Publication date: 1 September 2022
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_6
Recommendations
- Single pushout rewriting in comprehensive systems of graph-like structures
- scientific article; zbMATH DE number 139800
- Relational structures and their partial morphisms in view of single pushout rewriting
- Algebraic approach to single-pushout graph transformation
- How to delete categorically -- two pushout complement constructions
category theorypartial morphismcomprehensive systemhereditary pushoutupper adjointsingle-pushout rewriting
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
- Title not available (Why is that?)
- Topoi. The categorial analysis of logic. Rev. ed
- Fundamentals of algebraic graph transformation
- On pushouts of partial maps
- Categories of partial maps
- Specification of graph translators with triple graph grammars
- Adhesive subcategories of functor categories with instantiation to partial triple graphs
- Title not available (Why is that?)
- On graph rewritings
- Algebraic approach to single-pushout graph transformation
- Algebraic transformation of unary partial algebras II: Single-pushout approach
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput
- Hereditary pushouts reconsidered
- Comprehensive systems: a formal foundation for multi-model consistency management
Cited In (2)
This page was built for publication: Single pushout rewriting in comprehensive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100728)
