The following pages link to The Graph Programming Language GP (Q3642526):
Displaying 9 items.
- From imperative to rule-based graph programs (Q516038) (← links)
- Verifying graph programs with monadic second-order logic (Q2117269) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- Labelled graph strategic rewriting for social networks (Q2413024) (← links)
- Graph transformation for incremental natural language analysis (Q2441777) (← links)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- Preserving consistency in geometric modeling with graph transformations (Q5059141) (← links)
