| HAL : hal-00096771, version 1 |
| Fiche détaillée | Récupérer au format |
|
|
| Quadrature 24 (1996) 13-17 |
|
|
|
|
| C'est é-lé-mentaire |
|
|
| Patrick Cegielski 1 |
|
|
| (1996) |
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Algorithmique Complexité et Logique (LACL) |
| CNRS : FRE2673 – Université Paris-Est Créteil Val-de-Marne (UPEC) | |
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
| hal-00096771, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00096771 | |
| oai:hal.archives-ouvertes.fr:hal-00096771 | |
| Contributeur : Patrick Cegielski | |
| Soumis le : Mercredi 20 Septembre 2006, 11:09:20 | |
| Dernière modification le : Mercredi 20 Septembre 2006, 11:09:20 | |