8 citations · 59 across the 30 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…