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

Patrick Cegielski 1 Serge Grigorieff 2 Denis Richard
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
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 : vendredi 4 janvier 2019 - 17:32:57

Identifiants

  • HAL Id : hal-00095677, version 1

Collections

LACL | LIAFA | UNIV-PARIS7 | INSMI | UPEC | UPEC-UPEM | USPC

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

225

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD