507 search results - page 3 / 102 » Automating first-order relational logic |
131
Voted
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
114
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
142
Voted
LICS
2010
IEEE
15 years 1 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...
127
Voted
TIME
2003
IEEE
15 years 9 months ago
2003
IEEE
