verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Published 20 hours ago • verified publisher icon Verites

(Untyped) Symbolic Graphs and Morphisms with Integers

Open ggazzi opened this issue 7 years ago • 0 comments

Implement a data type for (untyped) symbolic graphs and morphisms, including instances of Morphism, FindMorphism, EpiPair, AdhesiveHLR.

The base algebra should support only integers. The graphs are untyped, and each node contains a single integer attribute. Edges have no attributes.

ggazzi avatar Apr 07 '17 13:04 ggazzi