CORR
2008
Springer
15 years 2 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
120
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...