Logic and $p$-recognizable sets of integers.

Bruyère, Véronique, et al. "Logic and -recognizable sets of integers.." Bulletin of the Belgian Mathematical Society - Simon Stevin 1.2 (1994): 191-238. <http://eudml.org/doc/232407>.

@article{Bruyère1994,
author = {Bruyère, Véronique, Hansel, Georges, Michaux, Christian, Villemaire, Roger},
journal = {Bulletin of the Belgian Mathematical Society - Simon Stevin},
keywords = {infinite words; -recognizable sequences; finite automata; first-order definability; survey; formal power series; Cobham-Semenov theorem; -recognizable sequences},
language = {eng},
number = {2},
pages = {191-238},
publisher = {Société Mathématique de Belgique - Belgisch Wiskundig Genootschap},
title = {Logic and -recognizable sets of integers.},
url = {http://eudml.org/doc/232407},
volume = {1},
year = {1994},
}

TY - JOUR
AU - Bruyère, Véronique
AU - Hansel, Georges
AU - Michaux, Christian
AU - Villemaire, Roger
TI - Logic and -recognizable sets of integers.
JO - Bulletin of the Belgian Mathematical Society - Simon Stevin
PY - 1994
PB - Société Mathématique de Belgique - Belgisch Wiskundig Genootschap
VL - 1
IS - 2
SP - 191
EP - 238
LA - eng
KW - infinite words; -recognizable sequences; finite automata; first-order definability; survey; formal power series; Cobham-Semenov theorem; -recognizable sequences
UR - http://eudml.org/doc/232407
ER -