The following pages link to (Q4415067):
Displaying 17 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Relational graph rewritings (Q673789) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- A tutorial on graph transformation (Q1708180) (← links)
- Finding models through graph saturation (Q1785854) (← links)
- Graph transformation for specification and programming (Q1806128) (← links)
- Graph traversal and graph transformation (Q1885899) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- (Q3397632) (← links)
- (Q3758621) (← links)
- (Q4028126) (← links)
- (Q4381716) (← links)
- Algebraic Graph Transformations with Inheritance (Q5166670) (← links)
- Formal Methods in Software and Systems Modeling (Q5710426) (← links)
- Formal Methods in Software and Systems Modeling (Q5710427) (← links)