22 citations · 90 across the 29 of their papers we have counts for
1 paper · 2 filters
Hubie Chen, Stefan Mengel
We consider the problem of counting the number of answers to a first-order formula on a finite structure. We present and study an extension of first-order logic in which algorithms…