Logic and {$p$}-recognizable sets of integers
Véronique Bruyàre, Georges Hansel, Christian Michaux, and Roger Villemaire
Source: Bull. Belg. Math. Soc. Simon Stevin Volume 1, Number 2
(1994), 191-238.
First Page:
Show
Hide
Keywords: Infinite words; {$p$}-recognizable sequences; finite automata; first-order definability; formal power series
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bbms/1103408547
Mathematical Reviews number (MathSciNet): MR1318968
Bulletin of the Belgian Mathematical Society - Simon Stevin
