 |
|
|
|
| HAL: hal-00095664, version 1 |
| Detailed view |  Export this paper |
|
|
| Comptes Rendus de l'Academie des Sciences. Serie 1, Mathematique 315 (1992) 1431-1434 |
|
|
|
|
| Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité |
|
|
| Patrick Cegielski 1Denis Richard |
|
|
| (1992) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Algorithmique Complexité et Logique (LACL) |
|
|
|
CNRS : FRE2673 – Université Paris-Est Créteil Val-de-Marne (UPEC) |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Logic |
| hal-00095664, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00095664 | |
| oai:hal.archives-ouvertes.fr:hal-00095664 | |
| From: Patrick Cegielski | |
| Submitted on: Monday, 18 September 2006 10:13:12 | |
| Updated on: Monday, 18 September 2006 10:13:12 | |
