La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable

Type de document :
Article dans une revue
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2000, 331, pp.107-110
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00095677
Contributeur : Patrick Cegielski <>
Soumis le : lundi 18 septembre 2006 - 10:26:43
Dernière modification le : jeudi 15 novembre 2018 - 20:26:56

Identifiants

  • HAL Id : hal-00095677, version 1

Collections

Citation

Patrick Cegielski, Serge Grigorieff, Denis Richard. La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2000, 331, pp.107-110. 〈hal-00095677〉

Partager

Métriques

Consultations de la notice

214