Definability and Regularity in Automatic Structures

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan. Definability and Regularity in Automatic Structures. In Volker Diekert, Michel Habib, editors, STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Volume 2996 of Lecture Notes in Computer Science, pages 440-451, Springer, 2004. [doi]

Abstract

Abstract is missing.