GP 2
From MaRDI portal
Software:52031
swMATH36329MaRDI QIDQ52031FDOQ52031
Author name not available (Why is that?)
Source code repository: https://github.com/UoYCS-plasma/GP2
Cited In (13)
- Graph transformation for incremental natural language analysis
- Confluence up to Garbage
- Title not available (Why is that?)
- Labelled graph strategic rewriting for social networks
- Rewriting Strategies and Strategic Rewrite Programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Confluence up to garbage in graph transformation
- The Graph Programming Language GP
- Labelled Graph Rewriting Meets Social Networks
- Towards Critical Pair Analysis for the Graph Programming Language GP 2
- Labelled port graph -- a formal structure for models and computations
- Verifying graph programs with monadic second-order logic
This page was built for software: GP 2
