Qualité : MCF
Equipe : Algèbre et Géométries
Bureau : 203
Téléphone : 02 41 73 50 51
Adresse électronique : Luck•Darniere@univ-angers•fr
Page web : http://math.univ-angers.fr/~darniere/home.html
Spécialité : Logique mathématique (théorie des modèles) : dixième problème de Hilbert, principes locaux-globaux, triangulation p-adique, algèbres de Heyting
Equipe : Algèbre et Géométries
Bureau : 203
Téléphone : 02 41 73 50 51
Adresse électronique : Luck•Darniere@univ-angers•fr
Page web : http://math.univ-angers.fr/~darniere/home.html
Spécialité : Logique mathématique (théorie des modèles) : dixième problème de Hilbert, principes locaux-globaux, triangulation p-adique, algèbres de Heyting
Publications présentes dans la base HAL :
documents