Pages that link to "Item:Q4645267"
From MaRDI portal
The following pages link to The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267):
Displaying 7 items.
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- Grammar Morphisms and Weakly Adhesive Categories (Q3540427) (← links)
- Graph Transformations for the Specification of Access Control Policies (Q4923543) (← links)
- Node rewriting in graphs and hypergraphs: A categorical framework (Q5958766) (← links)