Arithmétique de Presburger
concept
théorie du premier ordre des nombres entiers naturels munis de l'addition
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Arithmétique_de_Presburger
Lien Wikidata : https://www.wikidata.org/wiki/Q956059