The following pages link to GP 2 (Q52031):
Displaying 13 items.
- Confluence up to garbage in graph transformation (Q2049983) (← 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)
- The Graph Programming Language GP (Q3642526) (← links)
- (Q5015376) (← links)
- (Q5021227) (← links)
- (Q5021228) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- Towards Critical Pair Analysis for the Graph Programming Language GP 2 (Q5208506) (← links)