 |
 |
|
|
| HAL : hal-00096748, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Logic colloquium 80, D. van Dalen (Ed.) (1982) 57-68 |
|
|
|
|
| Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels |
|
|
| Patrick Cegielski 1Kenneth Mc Aloon |
|
|
| (1982) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Algorithmique Complexité et Logique (LACL) |
|
|
|
CNRS : FRE2673 – Université Paris-Est Créteil Val-de-Marne (UPEC) |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
| hal-00096748, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00096748 | |
| oai:hal.archives-ouvertes.fr:hal-00096748 | |
| Contributeur : Patrick Cegielski | |
| Soumis le : Mercredi 20 Septembre 2006, 10:34:05 | |
| Dernière modification le : Mercredi 20 Septembre 2006, 10:34:05 | |
