Quantifier-eliminable locally finite graphs.

Shawn Hedman Wai Yan Pong

Published in: Math. Log. Q. (2011)

Keyphrases

graph matching
graph theory
finite number
graph mining
structured objects
graph structure
graph clustering
finite automata
series parallel
neural network
genetic algorithm
directed graph
bipartite graph
graph databases
graph structures