Pages that link to "Item:Q5096276"
From MaRDI portal
The following pages link to Abstract graph derivations in the double pushout approach (Q5096276):
Displaying 10 items.
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- (Q4502807) (← links)
- The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- The decomposition of ESM computations (Q4645282) (← links)
- (Q5020951) (← links)
- Note on standard representation of graphs and graph derivations (Q5096277) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- Contextual occurrence nets and concurrent constraint programming (Q5096288) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)