Graphs Identified by Logics with Counting.

Sandra Kiefer Pascal Schweitzer Erkal Selman

Published in: MFCS (1) (2015)

Keyphrases

expressive power
modal logic
graph theoretic
random graphs
graph theory
weighted graph
graph databases
series parallel
graph clustering
graph representation
graph matching
complex structures
neural network
small world
directed graph
classical logic
pattern recognition