Deciding first-order properties of nowhere dense graphs.

Martin Grohe Stephan Kreutzer Sebastian Siebertz

Published in: STOC (2014)

Keyphrases

graph properties
higher order
graph theoretic
pattern recognition
structural properties
graph theory
desirable properties
object recognition
directed graph
graph representation
mazurkiewicz traces