2 search results - page 1 / 1 » On the Strictness of the First-Order Quantifier Structure Hi... |
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
CSL
2010
Springer
13 years 12 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...