14 citations · 74 across the 41 of their papers we have counts for
1 paper · 2 filters
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…