Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond.

Jan Dreier Daniel Mock Peter Rossmanith

Published in: CoRR (2023)

Keyphrases

first order logic
desirable properties
higher order
algebraic structures
real time
quantifier elimination
data mining
image sequences
social networks
three dimensional
multiresolution
logic programs
multi view
invariant properties