20 citations · 75 across the 44 of their papers we have counts for
1 paper · 2 filters
Barnaby Martin
We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of…