Applications de l'IA à l'étude des structures algébriques finies et à la démonstration
automatique de théorèmes / Boris Shminke ; sous la direction de Carlos Simpson. Thèse
de doctorat : Mathématiques : Université Côte d'Azur : 2023
Information trouvée : membre du jury
Dualité pour le fragment existentiel de la logique du premier ordre sur les mots /
Mehdi Zaïdi ; sous la direction de Mai Gehrke. Thèse de doctorat : Mathématiques :
Université Côte d'Azur : 2022
Information trouvée : directrice de thèse, membre du jury
Logique catégorique du point de vue de la dualité et des espaces compacts ordonnés
/ Jérémie Marquès ; sous la direction de Mai Gehrke. Thèse de doctorat : Mathématiques
: Université Côte d'Azur : 2023
Information trouvée : directrice de thèse et membre du jury
Mv-algebras, grothendieck toposes and applications = Mv-algebres, topos de grothendieck
et applications / Anna Carla Russo ; sous la direction de Mai Gehrke et de Antonio
Di Nola
https://math.unice.fr/~mgehrke/, 2022-12-13
Information trouvée : Directrice de recherche au Centre national de la recherche scientifique (CNRS), affilié
au Laboratoire J. A. Dieudonné de l'Université de Nice Sophia Antipolis (en 2022)
https://www.irif.univ-paris-diderot.fr/~mgehrke/CV.pdf, 2016-09-07
Information trouvée : born 10 May 1964, danish national