Undecidable Extensions of Skolem Arithmetic
Résumé
no abstract
Article Dans Une Revue
J. Symb. Log.
Année : 1998
Alexis Bès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01215414
Soumis le : mercredi 14 octobre 2015-10:49:46
Dernière modification le : jeudi 18 avril 2024-15:12:56
Dates et versions
Identifiants
- HAL Id : hal-01215414 , version 1
Citer
Alexis Bès, Denis Richard. Undecidable Extensions of Skolem Arithmetic. J. Symb. Log., 1998, 63 (2), pp.379-401. ⟨hal-01215414⟩
Collections
109
Consultations
0
Téléchargements