Pages that link to "Item:Q5313719"
From MaRDI portal
The following pages link to Adhesive and quasiadhesive categories (Q5313719):
Displayed 15 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)
- 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)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)