Pages that link to "Item:Q5313719"
From MaRDI portal
The following pages link to Adhesive and quasiadhesive categories (Q5313719):
Displaying 27 items.
- (Q5021221) (← links)
- (Q5021224) (← links)
- (Q5021225) (← links)
- (Q5028460) (← links)
- Incremental Concurrent Model Synchronization using Triple Graph Grammars (Q5039536) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Q5100733) (← links)
- The Greenberg Functor is Site Cocontinuous (Q5118810) (← links)
- Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
- A Note on an Old-Fashioned Algebra for (Disconnected) Graphs (Q5170278) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Finitary -adhesive categories (Q5740372) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)
- Multi-amalgamation of rules with application conditions in -adhesive categories (Q5740374) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- A Category of Surface-Embedded Graphs (Q6150141) (← links)
- Dependent Optics (Q6150150) (← links)
- A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework (Q6151605) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
