The following pages link to (Q4694717):
Displaying 5 items.
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- Programmed graph transformations and graph transformation units in GRACE (Q4645271) (← links)
- Syntax and semantics of hybrid database languages (Q5096272) (← links)
- Uniform-modelling in graph grammar specifications (Q5096289) (← links)
- Logic based structure rewriting systems (Q5096292) (← links)