On Testability of First-Order Properties in Bounded-Degree Graphs.

Isolde Adler Noleen Köhler Pan Peng

Published in: CoRR (2020)

Keyphrases

bounded degree
graph theoretic
higher order
graph properties
bounded treewidth
mazurkiewicz traces
database
databases
first order logic
graph matching
graph mining