Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem
Résumé
no abstract
Article Dans Une Revue
J. Symb. Log.
Année : 1997
Alexis Bès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01215416
Soumis le : mercredi 14 octobre 2015-10:49:47
Dernière modification le : vendredi 19 avril 2024-15:36:37
Dates et versions
Identifiants
- HAL Id : hal-01215416 , version 1
Citer
Alexis Bès. Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem. J. Symb. Log., 1997, 62 (4), pp.1280-1296. ⟨hal-01215416⟩
93
Consultations
0
Téléchargements