The following pages link to (Q2736360):
Displaying 12 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- On ``On graph rewritings'' (Q1098284) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- A representation of graphs by algebraic expressions and its use for graph rewriting systems (Q3785986) (← links)
- (Q4028126) (← links)
- Graph Rewriting in Span-Categories (Q4931317) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)
