A Proof-checking Experiment on Representing Graphs as Membership Digraphs.
Pierpaolo CalligarisEugenio G. OmodeoAlexandru I. TomescuPublished in: CILC (2013)
Keyphrases
- directed graph
- graph theory
- undirected graph
- graph matching
- graph model
- equivalence classes
- graphical representation
- adjacency matrix
- theorem prover
- real time
- graph representation
- theorem proving
- structured objects
- linear logic
- graph structures
- graph partitioning
- bipartite graph
- random walk
- object recognition
- social networks
- neural network
- data sets