Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem
Bès, Alexis
HAL, hal-01215416 / Harvested from HAL
Text on HAL
no abstract
Publié le : 1997-07-04
Classification:  [INFO]Computer Science [cs],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-01215416,
     author = {B\`es, Alexis},
     title = {Undecidable Extensions of B\"uchi Arithmetic and Cobham-Sem\"enov Theorem},
     journal = {HAL},
     volume = {1997},
     number = {0},
     year = {1997},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01215416}
}

Bès, Alexis. Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem. HAL, Tome 1997 (1997) no. 0, . http://gdmltest.u-ga.fr/item/hal-01215416/