Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité - Archive ouverte HAL
Article Dans Une Revue Comptes rendus de l'Académie des sciences. Série I, Mathématique Année : 1992

Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité

Patrick Cegielski
Laboratoire d'Algorithmique Complexité et Logique
CV
Denis Richard
  • Fonction : Auteur

Domaines

Logique [math.LO]

Patrick Cegielski  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00095664

Soumis le : lundi 18 septembre 2006-10:13:12

Dernière modification le : jeudi 18 avril 2024-17:18:40

Fichier non déposé

Dates et versions

hal-00095664 , version 1 (18-09-2006)

Identifiants

  • HAL Id : hal-00095664 , version 1

Citer

Patrick Cegielski, Denis Richard. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1992, 315, pp.1431-1434. ⟨hal-00095664⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
84 Consultations
0 Téléchargements

Partager

More