2 search results - page 1 / 1 » On the Strictness of the First-Order Quantifier Structure Hi... |
115
Voted
LICS
2010
IEEE
14 years 10 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...
100
click to vote
CSL
2010
Springer
15 years 1 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...