Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (4)
  • Nancy 1 (4)
  • Lyon 1 (3)
  • Montpellier (3)
  • Nancy 2 (3)
  • Sorbonne Paris Cité (3)
  • Bordeaux 1 (2)
  • Paris 11 (2)
  • Paris 6 (2)
  • Paris 7 (2)
  • Rennes 1 (2)
  • Toulouse 3 (2)
  • Toulouse, ISAE (2)
  • Université Côte d'Azur (ComUE) (2)
  • Université Paris-Saclay (ComUE) (2)
  • Aix-Marseille (1)
  • Bordeaux (1)
  • Grenoble INPG (1)
  • Institut supérieur de l'éducation et de la formation continue (Tunis 1) (1)
  • Metz (1)
  • Montpellier 2 (1)
  • Mulhouse (1)
  • Nice (1)
  • Paris 1 (1)
  • Paris Est (1)
  • Pau (1)
  • Poitiers (1)
  • Toulon (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université de Lorraine (1)
  • Université de Yaoundé I (1)
  • Université libre de Bruxelles (1970-....) (1)
  • université Paris-Saclay (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Mathématiques (9)
  • Mathématiques appliquées (3)
  • Philosophie (3)
  • Sciences du langage (2)
  • Automatique (1)
  • Automatique, signal, productique, robotique (1)
  • Biochimie, chimie et technologie des aliments (1)
  • Didactique des mathématiques (1)
  • Logique mathématique (1)
  • Logique mathématique et fondement de l' informatique (1)
  • Mathématiques appliquées et calcul scientifique (1)
  • Mathématiques et Modélisation (1)
  • Mathématiques et informatique (1)
  • Mathématiques et leurs interactions (1)
  • Mathématiques et modélisation (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Mathématiques. Logique mathématique (1)
  • MathématiquesMathématiques (1)
  • Physique (1)
  • Sciences appliquées (1)
  • Sciences du langage - Linguistique. Didactique des disciplines (1)
  • Sciences et techniques des activités physiques et sportives (1)
  • Sciences économiques (1)
  • Statistique (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traitement du signal et télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • IAEM Lorraine (1)
  • MATHSTIC (1)
  • Sciences des Procédés – Sciences des Aliments (Montpellier ; École Doctorale ; 2009-2015) (1)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (1)
  • École doctorale Savoirs scientifiques : Epistémologie, histoire des sciences, didactique des disciplines (Paris ; 2000-2019) (1)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (39)
  • anglais (12)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Biau Gérard (2)
  • Gravier Sylvain (2)
  • Grenier Denise (2)
  • Abdeljaouad Mahdi (1)
  • Aiguier Marc (1)
  • Altinel Tuna (1)
  • Avrachenkov Konstantin (1)
  • Bachelard Suzanne (1)
  • Bellik Yacine (1)
  • Benzarti Faouzi (1)
  • Besson Gérard (1)
  • Bittoun Jacques (1)
  • Blackburn Patrick (1)
  • Bloch Isabelle (1)
  • Braquelaire Achille (1)
  • Brisswalter Jeanick (1)
  • Caferra Ricardo (1)
  • Cazes Claire (1)
  • Cirstea Horatiu (1)
  • Colson Loïc (1)
  • Combettes Bernard (1)
  • Delon Françoise (1)
  • Di Pietro Daniele Antonio (1)
  • Dubois Didier (1)
  • Duda Richard (1)
  • Dufour François (1)
  • Dupont Florent (1)
  • Durand Arnaud (1)
  • Durand-Guerrier Viviane (1)
  • Fort Jean-Claude (1)
  • Funar Louis (1)
  • Garoche Pierre-Loïc (1)
  • Gautero Jean-Luc (1)
  • Gehrke Mai (1)
  • Gibel Patrick (1)
  • Ginoux Jean-Marc (1)
  • Gouaisbaut Frédéric (1)
  • Groote Philippe de (1)
  • Grugeon-Allys Brigitte (1)
  • Guillemot Christine (1)
  • Guirardel Vincent (1)
  • Halbwachs Nicolas (1)
  • Haton Jean-Paul (1)
  • Heinzmann Gerhard (1)
  • Henrion Didier (1)
  • Jaligot Eric (1)
  • Kaci Souhila (1)
  • Labrousse Agnès (1)
  • Lavoué Guillaume (1)
  • Lebaron Frédéric (1)
  • Legros Patrick (1)
  • Lopez Olivier (1)
  • Lozada-Chang Li-Vang (1)
  • Lévi Laurent (1)
  • Makhlouf Abdenacer (1)
  • Matheron Yves (1)
  • McShane Gregory (1)
  • Monin Benoît (1)
  • Napoli Amedeo (1)
  • Neglia Giovanni (1)
  • Nicoud Franck (1)
  • Pagès Gilles (1)
  • Paindaveine Davy (1)
  • Parent Éric (1)
  • Pogodalla Sylvain (1)
  • Ressayre Jean-Pierre (1)
  • Roger Jean-Michel (1)
  • Saporta Benoîte, de (1)
  • Saracco Jérôme (1)
  • Talay Denis (1)
  • Tarbouriech Sophie (1)
  • Tisseron Claude (1)
  • Valarcher Pierre (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Mathématiques (25)
  • Informatique (14)
  • Philosophie, psychologie (3)
  • Education et enseignement (3)
  • Langues et linguistique (3)
  • Sciences de l'ingénieur (3)
  • Informatique, information, généralités (2)
  • Sciences sociales, sociologie, anthropologie (2)
  • Logique (1)
  • Linguistique générale (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Sport (1)

Domaines :

Fullscreen
Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018
thèse soutenue
Logique mathématique et fondement de l' informatique

Soutenue en 2005
thèse soutenue
Mathématiques. Logique mathématique

Soutenue le 09-11-2016
thèse soutenue

.... La mesure de complexité d’ensembles est par ailleurs un thème récurrenten logique mathématique...

Accéder en ligne
Informatique

Soutenue en 1993
thèse soutenue

Résultats 1 à 10