Definability and Regularity in Automatic Structures

This publication has 3 references indexed in Scilit:

• Automatic structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
• Automatic presentations of structures
  Published by Springer Nature ,1995
• Logic and {$p$}-recognizable sets of integers
  Bulletin of the Belgian Mathematical Society - Simon Stevin, 1994