Pages that link to "Item:Q5313719"
From MaRDI portal
The following pages link to Adhesive and quasiadhesive categories (Q5313719):
Displaying 50 items.
- Lex colimits (Q456823) (← links)
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- New wide classes of weakly Mal'tsev categories (Q748711) (← links)
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Subobject transformation systems (Q934672) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Tensors, !-graphs, and non-commutative quantum structures (Q1670507) (← links)
- The PBPO graph transformation approach (Q1734525) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- A categorial approach to reaction systems: first steps (Q2044950) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Transformations of reaction systems over categories by means of epi-mono factorization and functors (Q2117257) (← links)
- Finite limits and anti-unification in substitution categories (Q2185886) (← links)
- Constructing constraint-preserving interaction schemes in adhesive categories (Q2185892) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Monographs, a category of graph structures (Q2237337) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Partial pullback complement rewriting (Q2355683) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Accretive computation of global transformations (Q2695351) (← links)
- Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
- Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Q2864377) (← links)
- Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories (Q2864378) (← links)
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- (Q3300791) (← links)
- Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
- A Note on an Old-Fashioned Algebra for (Disconnected) Graphs (Q5170278) (← 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)
