The Monadic Quantifier Alternation Hierarchy over Grids and Graphs.

Oliver Matz Nicole Schweikardt Wolfgang Thomas

Published in: Inf. Comput. (2002)

Keyphrases

graph matching
graph theory
graph mining
graph representation
graph theoretic
hierarchical structure
directed graph
graph databases
series parallel
higher level
graph model
graph clustering
deductive databases
datalog programs
class hierarchy
datalog queries