Cardinality and counting quantifiers on omega-automatic structures

Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008

Volumn , Issue , 2008, Pages 385-396

  Kaiser, ŁUkasz ^a   Rubin, Sasha ^b   Bárány, Vince ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

automata; automatic presentations; semigroups

Indexed keywords

FORMAL LOGIC;

ALGEBRAIC PROPERTIES; AUTOMATIC STRUCTURES; CARDINALITIES; COUNTING QUANTIFIERS; EQUIVALENCE RELATIONS; FINITE WORDS; FIRST ORDER LOGIC; SEMIGROUPS;

AUTOMATA THEORY;

EID: 45749135055     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. A. Blumensath. Automatic structures. Diploma thesis, RWTH-Aachen, 1999.
2. A. Blumensath and E. Grädel. Automatic Structures. In Proceedings of 15th IEEE Symposium on Logic in Computer Science LICS 2000, pages 51-62, 2000.
3. A. Blumensath and E. Grädel. Finite presentations of infinite structures: Automata and interpretations. Theory of Comp. Sys., 37:641 - 674, 2004.
4. G. Hjörth, B. Khoussainov, A. Montalban, and A. Nies. Borel structures. Manuscript, 2007.
5. B.R. Hodgson. Décidabilité par automate fini. Ann. sc. math. Quebec, 7(1):39-57, 1983.
6. B. Khoussainov and A. Nerode. Automatic presentations of structures. In LCC '94, volume 960 of LNCS, pages 367-392. Springer-Verlag, 1995.
7. B. Khoussainov, A. Nies, S. Rubin, and F. Stephan. Automatic structures: Richness and limitations. In LICS, pages 44-53. IEEE Comp. Soc., 2004.
8. B. Khoussainov, S. Rubin, and F. Stephan. Definability and regularity in automatic structures. In STACS '04, volume 2996 of LNCS, pages 440-451, 2004.
9. D. Kuske and M. Lohrey. First-order and counting theories of ω-automatic structures. In FoSSaCS, pages 322-336, 2006.
10. D. Perrin and J.-E. Pin. Semigroups and automata on infinite words. In J. Fountain, editor, Semigroups, Formal Languages and Groups, NATO Advanced Study Institute, pages 49-72. Kluwer, 1995.