Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic structures of bounded degree revisited   The first-order theory of a string automatic structure is known to be
decidable, but there are examples of string automatic structures with
nonelementary first-order theories. We prove that the first-order theory of a
string automatic structure of bounded degree is decidable in doubly exponential
space (for injective automatic presentations, this holds even uniformly). This
result is shown to be optimal since we also present a string automatic
structure of bounded degree whose first-order theory is hard for 2EXPSPACE. We
prove similar results also for tree automatic structures. These findings close
the gaps left open in a previous paper of the second author by improving both,
the lower and the upper bounds.

25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex