Single pushout rewriting in comprehensive systems
From MaRDI portal
Publication:5100728
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
Cites work
- scientific article; zbMATH DE number 177452 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Adhesive subcategories of functor categories with instantiation to partial triple graphs
- Algebraic approach to single-pushout graph transformation
- Algebraic transformation of unary partial algebras II: Single-pushout approach
- Categories of partial maps
- Comprehensive systems: a formal foundation for multi-model consistency management
- Fundamentals of algebraic graph transformation
- Hereditary pushouts reconsidered
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput
- On graph rewritings
- On pushouts of partial maps
- Specification of graph translators with triple graph grammars
- Topoi. The categorial analysis of logic. Rev. ed
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)
