The following pages link to (Q3785912):
Displaying 5 items.
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Implementing term rewriting by jungle evaluation (Q3486867) (← links)
- Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
