Rudiments of Presburger Arithmetic

Cours Année : 2016

(1, 2)

1
2

Stéphane Demri

Laboratoire Spécification et Vérification

Centre National de la Recherche Scientifique

Lecture notes about an introduction to Presburger arithmetic (MPRI, M2, 2016).

Presburger arithmetic logic finite-state automaton quantifier elimination semilinear set decidability expressive power

Informatique [cs] Logique en informatique [cs.LO] Théorie et langage formel [cs.FL] Intelligence artificielle [cs.AI]

Fichier principal

rudiments-30092016.pdf (456.46 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-03188114

Soumis le : jeudi 1 avril 2021-16:38:44

Dernière modification le : lundi 29 janvier 2024-14:51:02

Archivage à long terme le : vendredi 2 juillet 2021-19:11:45

hal-03188114 , version 1 (01-04-2021)

Stéphane Demri. Rudiments of Presburger Arithmetic. Master. Paris, France. 2016, pp.44. ⟨hal-03188114⟩

CNRS ENS-CACHAN ENS-PARIS-SACLAY

78 Consultations

133 Téléchargements