Author:
Bélair Luc,Gélinas Maxime,Point Françoise
Reference10 articles.
1. On omega-languages defined by mean-payoff conditions;Alur,2009
2. Un principe d'Ax–Kochen–Ershov pour des structures intermédiaires entre groupes et corps valués;Delon;J. Symb. Log.,1999
3. On the decidability of the existential theory of Fp〚t〛;Denef,2003
4. Decidability and undecidability of extensions of second (first) order theory of (generalized) successor;Elgot;J. Symb. Log.,1966
5. Séries formelles à coefficients dans un corps fini et automates, mémoire de maîtrise;Gélinas,2015