2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
J. Nesetril, P. Ossona de Mendez, S. Siebertz
We prove that, on bounded expansion classes, every first-order formula with modulo counting is equivalent, in a linear-time computable monadic expansion, to an existential first-or…