8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
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…