Successor-Invariant First-Order Logic on Classes of Bounded Degree
Keyword(s):
Keyword(s):
2008 ◽
Vol 19
(01)
◽
pp. 205-217
◽
Keyword(s):
Keyword(s):
2008 ◽
Vol 73
(1)
◽
pp. 129-150
◽
Keyword(s):
1996 ◽
Vol 6
(6)
◽
pp. 505-526
◽
Keyword(s):
2009 ◽
Vol 19
(12)
◽
pp. 3091-3099
◽
Keyword(s):