1 paper · 1 filter
Dietrich Kuske, Markus Lohrey
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 p…