Thm de Presburger
De AgregmathKL
Fichier TeX de la démo du Théorème de Presburger
Fichier Pdf de la démo du Théorème de Presburger
- Référence : [Carton]
- Remarque :
- bien comprendre les mots de et la bijection entre k-uplet d'entier et ces mots de
- bien comprendre l'automate de et donner un exemple est pédagogiquement bon.