507 search results - page 3 / 102 » Automating first-order relational logic |
79
Voted
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
CADE
2005
Springer
15 years 9 months ago
2005
Springer
CADE
2003
Springer
15 years 9 months ago
2003
Springer
LICS
2010
IEEE
14 years 7 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...
TIME
2003
IEEE
15 years 2 months ago
2003
IEEE
