Développement #197
Titre : Décidabilité de l'arithmétique de Presburger
Contenu : La théorie du premier ordre des entiers munis de l'addition est décidable.
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 4 | 924 | Théories et modèles en logique du premier ordre. Exemples.2021 |
| 5 | 27 | Décidabilité et indécidabilité. Exemples.2022 |
| 5 | 29 | Langages rationnels et automates finis. Exemples et applications2022 |