Cited in
(28)- Verifying graph programs with monadic second-order logic
- The Graph Programming Language GP
- Labelled graph strategic rewriting for social networks
- Confluence up to garbage
- Rewriting strategies and strategic rewrite programs
- Towards critical pair analysis for the graph programming language GP 2
- GrGen
- ELAN
- PROGRES
- Fujaba
- AGG
- Stony Brook
- PORGY
- LMNtal
- GROOVE
- Jerboa
- Henshin
- DiaGen
- Tom
- visone
- MOSBIE
- Labelled port graph -- a formal structure for models and computations
- Reasoning about graph programs
- Graph transformation for incremental natural language analysis
- scientific article; zbMATH DE number 7456056 (Why is no real title available?)
- Labelled graph rewriting meets social networks
- scientific article; zbMATH DE number 7456057 (Why is no real title available?)
- Confluence up to garbage in graph transformation
This page was built for software: GP 2
