Cet article présente une méthode pour simplifier l'élimination des quantificateurs dans l'arithmétique de Presburger.
― 5 min lire
La science de pointe expliquée simplement
Cet article présente une méthode pour simplifier l'élimination des quantificateurs dans l'arithmétique de Presburger.
― 5 min lire