Bazhenov N.; Harrison-Trainor M.; Kalimullin I.; Melnikov A.; Ng K.
(2019)
Copyright © The Association for Symbolic Logic 2019. A structure is automatic if its domain, functions, and relations are all regular languages. Using the fact that every automatic structure is decidable, in the literature ...