Chargement en cours...
Veuillez patienter.
Recherche
La recherche porte sur les mots du titre, les mots clés et résumés dans toutes les langues
Auteur
Directeur de thèse
Ecole doctorale
Toutes
ED 127 Astronomie et astrophysique d'Île-de-France
ED 129 Sciences de l'environnement d'Île-de-France
ED 130 Informatique, Télécommunications et Electronique
ED 131 Langue, littérature, image, civilisations et sciences humaines
ED 132 Sciences du langage (Paris ; 1992-2019
ED 157 Génétique, Cellulaire, Immunologie, Infectiologie et Développement
ED 158 Cerveau, Cognition, Comportement
ED 180 Sciences Humaines et Sociales : Cultures, Individus, Sociétés
ED 261 Cognition, Comportements, Conduites Humaines
ED 262 Sciences Juridiques, Politiques, Economiques et de Gestion
ED 273 Biologie et Biotechnologie
ED 382 Economies, espaces, sociétés, civilisations : pensée critique, politique et pratiques sociales (Paris ; 2000-2019)
ED 386 Sciences Mathematiques de Paris Centre
ED 388 Chimie physique et chimie analytique de Paris Centre
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
ED 400 Savoirs scientifiques : Epistémologie, histoire des sciences, didactique des disciplines (Paris ; 2000-2019)
ED 420 Santé Publique
ED 434 Géographie de Paris - Espace, sociétés, aménagement
ED 436 Médicament, Toxicologie, Chimie, Environnement
ED 450 Recherches en psychanalyse et psychopathologie
ED 474 Frontières de l'Innovation en Recherche et Education
ED 516 Biochimie, Biothérapies, Biologie Moléculaire, Infectiologie
ED 560 Sciences de la terre et de l'environnement et physique de l'univers, Paris
ED 561 Hématologie, oncogenèse et biothérapies
ED 562 Bio Sorbonne Paris Cité
ED 563 Médicament, Toxicologie, Chimie, Imageries
ED 564 Physique en Île-de-France
ED 566 Sciences du Sport, de la Motricité et du Mouvement Humain
ED 570 Santé Publique
ED 622 Sciences du langage
ED 623 Savoir, Sciences, Education
ED 624 Sciences des Societes
Etablissement
Année
Toutes
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Discipline
Langue
Toutes
allemand
anglais
arabe
chinois
espagnol
français
italien
japonais
latin
portugais
roumain
ru
slovaque
vietnamien
Recherche simple
Chercher
Effacer
3
thèses trouvées
Circular representations of infinite proofs for fixed-points logics : expressiveness and complexity
par Rémi NOLLET sous la direction de
Alexis SAURIN
et de
Christine TASSON
Soutenue le mardi 29 juin 2021 à
Université Paris Cité
Informatique. Informatique fondamentale
-
ED 386 Sciences Mathematiques de Paris Centre
Cartes de grand genre : de la hiérarchie KP aux limites probabilistes
par Baptiste LOUF sous la direction de
Guillaume CHAPUY
Soutenue le vendredi 26 juin 2020 à
Université Paris Cité
Informatique. Informatique fondamentale
-
ED 386 Sciences Mathematiques de Paris Centre
On the infinitary proof theory of logics with fixed points
par Amina DOUMANE sous la direction de
Pierre-Louis CURIEN
et de
Alexis SAURIN
Soutenue le mardi 27 juin 2017 à
Sorbonne Paris Cité
Informatique. Informatique fondamentale
-
ED 386 Sciences Mathematiques de Paris Centre