TY  - JOUR
AU  - Paugam, Annette
TI  - Algorithmes d'élimination des quantificateurs
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1985
SP  - 173
EP  - 195
IS  - 4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1985___4_173_0/
LA  - fr
ID  - PSMIR_1985___4_173_0
ER  -