Une procédure de décision réflexive pour un fragment de l’arithmétique de Presburger (2004)

by Pierre Crégut
Venue:In Informal proceedings of the 15th