%0 Journal Article
%A Luc Bélair
%A Françoise Point
%T Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt
%J Comptes Rendus. Mathématique
%D 2008
%P 703-706
%V 346
%N 13-14
%I Elsevier
%R 10.1016/j.crma.2008.05.011
%G fr
%F CRMATH_2008__346_13-14_703_0