Luc Bélair

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 1

Top Topics

Functional Programming

Software Modules

Constraint Satisfaction Problems

Top Venues

Publications

Luc Bélair, Françoise Point
Separably Closed Fields and contractive Ore Modules. J. Symb. Log. 80 (4) (2015)
Luc Bélair, Françoise Point
Corrigendum to: "Quantifier elimination in valued Ore modules". J. Symb. Log. 77 (2) (2012)
Luc Bélair, Françoise Point
Quantifier elimination in valued Ore modules. J. Symb. Log. 75 (3) (2010)
Luc Bélair
Anneaux de Fonctions p-adiques. J. Symb. Log. 60 (2) (1995)
Luc Bélair, Jean-Louis Duret
Indécidabilité des Corps de Courbe Réelle. J. Symb. Log. 59 (1) (1994)
Luc Bélair, Jean-Louis Duret
Définissabilité dans les Corps de Fonctions p-Adiques. J. Symb. Log. 56 (3) (1991)
Luc Bélair
Anneaux p-Adiquement Clos et Anneaux de Fonctions Définissables. J. Symb. Log. 56 (2) (1991)
Luc Bélair
Substructures and uniform elimination for p-adic fields. Ann. Pure Appl. Log. 39 (1) (1988)