Une procédure de décision réflexive pour l’arithmétique de Presburger en Coq (2001)

by P Crégut
Venue:Deliverable, Projet RNRT Calife