TY  - JOUR
AU  - Bélair, Luc
AU  - Point, Françoise
TI  - Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt
JO  - Comptes Rendus. Mathématique
PY  - 2008
SP  - 703
EP  - 706
VL  - 346
IS  - 13-14
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2008.05.011/
DO  - 10.1016/j.crma.2008.05.011
LA  - fr
ID  - CRMATH_2008__346_13-14_703_0
ER  -