Linear time computable problems and first-order descriptions
1996 ◽
Vol 6
(6)
◽
pp. 505-526
◽
Keyword(s):
It is well known that every algorithmic problem definable by a formula of first-order logic can be solved in polynomial time, since all these problems are inL(see Aho and Ullman (1979) and Immerman (1987)). Using an old technique of Hanf (Hanf 1965) and other techniques developed to prove the decidability of formal theories in mathematical logic, it is shown that an arbitraryFO-problem over relational structures of bounded degree can be solved in linear time.
2008 ◽
Vol 19
(01)
◽
pp. 205-217
◽
Keyword(s):
Keyword(s):
Keyword(s):
1999 ◽
Vol Vol. 3 no. 3
◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 70
(3)
◽
pp. 696-712
◽