Ensembles reconnaissables de séries formelles sur un corps fini

Luc Bélair; Maxime Gélinas; Françoise Point

Comptes Rendus. Mathématique, Volume 354 (2016) no. 3 p. 225-229

La logique des parties fractionnaires de nombres réels

Luc Bélair; Françoise Point

Comptes Rendus. Mathématique, Volume 354 (2016) no. 7 p. 645-648

Ensembles définissables dans les corps ordonnés différentiellement clos

Françoise Point

Comptes Rendus. Mathématique, Volume 349 (2011) no. 17 p. 929-933

É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) no. 13 p. 703-706