The following pages link to (Q3416071):
Displaying 11 items.
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Towards algebraic high-level systems as weak adhesive HLR categories (Q2864378) (← links)
- Adhesivity with partial maps instead of spans (Q2898462) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)