The following pages link to (Q2736360):
Displayed 6 items.
- 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)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)