TY  - JOUR
AU  - Luc Bélair
AU  - Françoise Point
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
DO  - 10.1016/j.crma.2008.05.011
LA  - fr
ID  - CRMATH_2008__346_13-14_703_0
ER  -