Decidable Theories of Cayley-Graphs.

Dietrich Kuske Markus Lohrey

Published in: STACS (2003)

Keyphrases

first order logic
graph matching
theoretical framework
series parallel
weighted graph
bayesian networks
directed graph
graph mining
graph clustering
graph structure
datalog programs
cognitive psychology
random graphs
domain theory
data sets
graph theory
bipartite graph
clustering algorithm