Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt

Luc Bélair; Françoise Point

Comptes Rendus. Mathématique, Volume 346 (2008) p. 703-706