The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite.

Oliver Matz Wolfgang Thomas

Published in: LICS (1997)

Keyphrases

graph theoretic
deductive databases
graph matching
datalog queries
lower level
hierarchical structure
directed graph
graph representation
random graphs
database
graph theory
graph mining
graph partitioning
subgraph isomorphism