Décidabilité de l'arithmétique de Presburger
La théorie du premier ordre des entiers munis de l'addition est décidable.
| Qualité | Numéro | Titre |
|---|
Versions
Rajouter une version
Utilisateur : Devevey
La récurrence est mal posée dans le Carton, il faut l'expliciter un peu mieux.
Les définitions sont mieux posées dans le DNR.
Références :
Langages formels, Calculabilité et Complexité - Carton
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Utilisateur : Gayral
Références :
Langages formels, Calculabilité et Complexité - Carton
Utilisateur : Meven
Références :
Langages formels, Calculabilité et Complexité - Carton
Utilisateur : Timothée
Références :