GP 2
From MaRDI portal
Software:52031
No author found.
Source code repository: https://github.com/UoYCS-plasma/GP2
Related Items (13)
Labelled graph strategic rewriting for social networks ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Confluence up to Garbage ⋮ Unnamed Item ⋮ Graph transformation for incremental natural language analysis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards Critical Pair Analysis for the Graph Programming Language GP 2 ⋮ Confluence up to garbage in graph transformation ⋮ The Graph Programming Language GP ⋮ Labelled Graph Rewriting Meets Social Networks ⋮ 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
