The following pages link to (Q3751030):
Displaying 20 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 (Q1097866) (← links)
- Interactive graph grammar (Q1430215) (← links)
- Graph grammars according to the type of input and manipulated data: a survey (Q1750316) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Transformation of variants of Petri nets into context-dependent fusion grammars (Q2672655) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Matrix Graph Grammars with Application Conditions (Q3561225) (← links)
- (Q4365821) (← links)
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- (Q4890712) (← links)
- Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
- On the expressive power of algebraic graph grammars with application conditions (Q5096746) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- Grammars with Context Conditions and Their Applications (Q5706505) (← links)
