5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Jan Dreier, Peter Rossmanith
Kuske and Schweikardt introduced the very expressive first-order counting logic FOC(P) to model database queries with counting operations. They showed that there is an efficient mo…