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

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00095677
Contributor : Patrick Cegielski <>
Submitted on : Monday, September 18, 2006 - 10:26:43 AM
Last modification on : Friday, January 4, 2019 - 5:32:57 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

229