Pages that link to "Item:Q2292967"
From MaRDI portal
The following pages link to Adhesive subcategories of functor categories with instantiation to partial triple graphs (Q2292967):
Displayed 6 items.
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Towards Multiple Model Synchronization with Comprehensive Systems (Q5039539) (← links)
- Single Pushout Rewriting in Comprehensive Systems (Q5100728) (← links)