Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (37)
  • Toulouse 3 (12)
  • Nancy 1 (11)
  • Sorbonne Paris Cité (9)
  • Bordeaux 1 (8)
  • Lyon 1 (8)
  • Paris 1 (8)
  • Aix-Marseille 1 (6)
  • Lille 1 (6)
  • Université Paris-Saclay (ComUE) (6)
  • Lyon (5)
  • Montpellier 2 (5)
  • Paris 11 (5)
  • Toulouse, ENSAE (5)
  • Aix-Marseille 2 (4)
  • Paris Est (4)
  • Aix-Marseille (3)
  • Angers (3)
  • Cachan, Ecole normale supérieure (3)
  • Grenoble 1 (3)
  • Grenoble INPG (3)
  • Montpellier (3)
  • Nantes (3)
  • Paris 6 (3)
  • Rennes 1 (3)
  • Artois (2)
  • Bordeaux (2)
  • Caen (2)
  • Chambéry (2)
  • Grenoble (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Nice (2)
  • Paris 8 (2)
  • Paris, CNAM (2)
  • Paris, EHESS (2)
  • Reims (2)
  • Toulouse, ISAE (2)
  • Université Côte d'Azur (ComUE) (2)
  • Université de Lorraine (2)
  • Université de Paris (2019-....) (2)
  • Versailles-St Quentin en Yvelines (2)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Evry-Val d'Essonne (1)
  • Florence (Italie) (1)
  • Institut polytechnique de Paris (1)
  • Institut supérieur de l'éducation et de la formation continue (Tunis 1) (1)
  • Institute of Software, Chinese Academy of Sciences (1)
  • La Rochelle (1)
  • Lorient (1)
  • Lyon 3 (1)
  • Lyon, INSA (1)
  • Lyon, École normale supérieure (1)
  • Marne-la-vallée, ENPC (1)
  • Metz (1)
  • Mulhouse (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 12 (1)
  • Paris 13 (1)
  • Paris, ENSAM (1)
  • Poitiers (1)
  • Strasbourg 1 (1)
  • Toulouse, INSA (1)
  • Turun yliopisto (1)
  • Universidade nova de Lisboa (1)
  • Università degli studi di Roma "Tor Vergata". Facoltà di scienze (1)
  • Universität Konstanz (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université de Buenos Aires (1)
  • Université de Yaoundé I (1)
  • Université des sciences et de la technologie Houari Boumediene (Alger) (1)
  • Université du Québec à Montréal (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • université Paris-Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (87)
  • Mathématiques (21)
  • Philosophie (12)
  • Sciences appliquées (9)
  • Logique mathématique (5)
  • Intelligence artificielle (4)
  • Mathématiques. Logique et fondements de l'informatique (4)
  • Mathématiques. Logique mathématique (4)
  • Informatique et mathématiques (3)
  • InformatiqueInformatique (3)
  • Logique mathématique et fondements de l'informatique (3)
  • Mathématiques appliquées (3)
  • Sciences cognitives (3)
  • Automatique (2)
  • Didactique des mathématiques (2)
  • Informatique et applications (2)
  • Mathématiques discrètes et fondements de l'informatique (2)
  • Sciences de l'education (2)
  • Automatique et informatique appliquée (1)
  • Biochimie, chimie et technologie des aliments (1)
  • Didactique des disciplines (1)
  • Didactologie des langues et des cultures (1)
  • Epistémologie et histoire des sciences (1)
  • Epistémologie et histoire des sciences et des techniques (1)
  • Génie mécanique (1)
  • Génétique (1)
  • Informatique fondamentale (1)
  • Informatique théorique (1)
  • Informatique, données, IA (1)
  • Informatique. Informatique fondamentale (1)
  • Logique et fondements de l'informatique (1)
  • Logique mathématique et fondement de l' informatique (1)
  • Mathematiques (1)
  • Mathématiques Logique et fondements de l'Informatique (1)
  • Mathématiques appliquées et calcul scientifique (1)
  • Mathématiques et Modélisation (1)
  • Mathématiques et applications (1)
  • Mathématiques et leurs applications (1)
  • Mathématiques et modélisation (1)
  • Mathématiques fondamentales (1)
  • Mathématiques pures (1)
  • MathématiquesMathématiques (1)
  • Mécanique, Modélisation numérique (1)
  • PhilosophiePhilosophie (1)
  • Physique (1)
  • Programmation et systèmes (1)
  • Psychanalyse (1)
  • Psychologie (1)
  • Représentation de la connaissance et formalisation du raisonnement (1)
  • Sciences (1)
  • Sciences de l'éducation (1)
  • Sciences du langage (1)
  • Sciences et techniques (1)
  • Sciences et techniques communes (1)
  • Sciences et techniques des activités physiques et sportives (1)
  • Sciences économiques (1)
  • Sciences. Informatique (1)
  • Sciences. Logique mathématique (1)
  • Sciences. Mathématiques (1)
  • Sciences. Mathématiques pures (1)
  • Sciences. Mathématiques. Informatique (1)
  • Statistique (1)
  • Stic (1)
  • Traitement du signal et télécommunications (1)
  • informatique et automatique appliquées (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (7)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (7)
  • École doctorale en Informatique et Mathématiques de Lyon (7)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (6)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • IAEM Lorraine (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • ED Sciences pour l'ingénieur (n°72) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole doctorale Mathématiques de la région Paris-Sud (1992-2015 ; Orsay) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • I2S - Information, Structures, Systèmes (1)
  • Information, Communication, Modélisation et Simulation (1)
  • SAVOIR, SCIENCES, EDUCATION (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences des Procédés – Sciences des Aliments (Montpellier ; École Doctorale ; 2009-2015) (1)
  • Sciences et ingénierie pour l'information, mathématiques (1)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (1)
  • École doctorale Complexité du vivant (Paris) (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-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 Philosophie (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (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 des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (156)
  • anglais (56)
  • null (7)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Curien Pierre-Louis (5)
  • Ehrhard Thomas (5)
  • Galmiche Didier (4)
  • Krivine Jean-Louis (4)
  • Balbiani Philippe (3)
  • Berline Chantal (3)
  • Blackburn Patrick (3)
  • Bouscaren Élisabeth (3)
  • Delon Françoise (3)
  • Lescanne Pierre (3)
  • Tison Sophie (3)
  • Akdag Herman (2)
  • Altinel Tuna (2)
  • Becher Verónica (2)
  • Biau Gérard (2)
  • Bucciarelli Antonio (2)
  • Caferra Ricardo (2)
  • Castagna Giuseppe (2)
  • Cholvy Laurence (2)
  • Colson Loïc (2)
  • Doyen Laurent (2)
  • Dubucs Jacques (2)
  • Durand Bruno (2)
  • Girard Jean-Yves (2)
  • Grimaud Gilles (2)
  • Muscholl Anca (2)
  • Pottier François (2)
  • Ressayre Jean-Pierre (2)
  • Régnier Laurent (2)
  • Salibra Antonino (2)
  • Talbot Jean-Marc (2)
  • Wagner Frank-Olaf (2)
  • Abdeljaouad Mahdi (1)
  • Abrusci Vito Michele (1)
  • Achaz Guillaume (1)
  • Aiguier Marc (1)
  • Ancori Bernard (1)
  • Artigue Michèle (1)
  • Aubry Denis (1)
  • Augeraud Michel (1)
  • Auroux Sylvain (1)
  • Avrachenkov Konstantin (1)
  • Awada Ali (1)
  • Baelde David (1)
  • Ben Yaacov Itaï (1)
  • Benferhat Salem (1)
  • Benis Sinaceur Hourya (1)
  • Benzaken Véronique (1)
  • Bernot Gilles (1)
  • Berthelot Gérard (1)
  • Berwanger Dietmar (1)
  • Besson Gérard (1)
  • Bigot Régis (1)
  • Bittoun Jacques (1)
  • Boniol Frédéric (1)
  • Bouajjani Ahmed (1)
  • Bouché Richard (1)
  • Bouveresse Jacques (1)
  • Boyer Edmond (1)
  • Braquelaire Achille (1)
  • Brisswalter Jeanick (1)
  • Brlek Srecko (1)
  • Bruyère Jérôme (1)
  • CASTELLANI X. (1)
  • Castéran Pierre (1)
  • Caucal Didier (1)
  • Cegielski Patrick (1)
  • Cervelle Julien (1)
  • Champagnat Ronan (1)
  • Chen Haiming (1)
  • Cirstea Horatiu (1)
  • Cluckers Raf (1)
  • Contejean Evelyne (1)
  • Coquand Thierry (1)
  • Cot Norbert (1)
  • Courcelle Bruno (1)
  • Cousineau Guy (1)
  • Dantan Jean-Yves (1)
  • David René (1)
  • De Glas Michel (1)
  • Debru Claude (1)
  • Delaune Stéphanie (1)
  • Demolombe Robert (1)
  • Desanti Jean-Toussaint (1)
  • Desclès Jean-Pierre (1)
  • Di Pietro Daniele Antonio (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Drias Habiba (1)
  • Dubois Didier (1)
  • Dufour François (1)
  • Dupont Florent (1)
  • Durand Arnaud (1)
  • Durand-Guerrier Viviane (1)
  • Enjalbert Patrice (1)
  • Fages François (1)
  • Fariñas del Cerro Luis (1)
  • Faure Jean-Marc (1)
  • Forestal Chantal (1)
  • Formenti Enrico (1)
  • Fort Jean-Claude (1)
  • Fourneau Jean-Michel (1)
  • Fraïssé Roland (1)
  • Funar Louis (1)
  • Fédida Pierre (1)
  • Gardies Jean-Louis (1)
  • Gautero Jean-Luc (1)
  • Gehrke Mai (1)
  • Giambiasi Norbert (1)
  • Ginisti Jean-Pierre (1)
  • Gouaisbaut Frédéric (1)
  • Goubault-Larrecq Jean (1)
  • Grigorieff Serge (1)
  • Groote Philippe de (1)
  • Grégoire Eric (1)
  • Guillemot Christine (1)
  • Habermehl Peter (1)
  • Haton Jean-Paul (1)
  • Hauspie Michaël (1)
  • Heinzmann Gerhard (1)
  • Herbelin Hugo (1)
  • Hils Martin (1)
  • Hérin Danièle (1)
  • Iturrioz Luisa (1)
  • Jaligot Eric (1)
  • Jard Claude (1)
  • Jorrand Philippe (1)
  • Jouannaud Jean-Pierre (1)
  • Kari Jarkko (1)
  • Kesner Delia (1)
  • Kott Laurent (1)
  • Kouloumdjian Jacques (1)
  • Kuhlmann Salma (1)
  • Labrousse Agnès (1)
  • Lamarche François (1)
  • Lambert Amaury (1)
  • Lascar Daniel (1)
  • Lavoué Guillaume (1)
  • Le Grand Jean-Louis (1)
  • Le Saëc Bertrand (1)
  • Lebaron Frédéric (1)
  • Legros Patrick (1)
  • Lengrand Stéphane (1)
  • Lime Didier (1)
  • Lion Jean-Marie (1)
  • Livet Pierre (1)
  • Longo Giuseppe (1)
  • Lopez Olivier (1)
  • Lozada-Chang Li-Vang (1)
  • Makhlouf Abdenacer (1)
  • Marret Sophie (1)
  • Marteau Pierre-François (1)
  • Maury Sylvette (1)
  • McShane Gregory (1)
  • Mejri Salah (1)
  • Mesnil Zoé (1)
  • Michalewski Henryk (1)
  • Miller Dale (1)
  • Minari Pierluigi (1)
  • Monin Benoît (1)
  • Monteiro Luis (1)
  • Moot Richard (1)
  • Mosbah Mohamed (1)
  • Mosconi Jean (1)
  • Neglia Giovanni (1)
  • Nicoud Franck (1)
  • Nour Karim (1)
  • Ollinger Nicolas (1)
  • Ouvrier-buffet Cecile (1)
  • Pabion Jean-François (1)
  • Pacholczyk Daniel (1)
  • Pagès Gilles (1)
  • Paindaveine Davy (1)
  • Palamidessi Catuscia (1)
  • Panza Marco (1)
  • Parent Éric (1)
  • Peridy Laurent (1)
  • Pin Jean-Éric (1)
  • Pinchinat Sophie (1)
  • Pino Pérez Ramón (1)
  • Pogodalla Sylvain (1)
  • Point Françoise (1)
  • Poizat Bruno (1)
  • Prade Henri (1)
  • Pérennou Guy (1)
  • Quettier Pierre (1)
  • Ramdane-Cherif Amar (1)
  • Retore Christian (1)
  • Revuz André (1)
  • Riba Colin (1)
  • Rios Alejandros (1)
  • Roger Jean-Michel (1)
  • Ronchi Della Rocca Simona (1)
  • Rossler Damian (1)
  • Roux Olivier Henri (1)
  • Rusinowitch Michaël (1)
  • Ryl Isabelle (1)
  • Sabbagh Gabriel (1)
  • Saint-Dizier Patrick (1)
  • Sallantin Jean (1)
  • Samuelides M. (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (111)
  • Mathématiques (68)
  • Sciences de l'ingénieur (18)
  • Philosophie, psychologie (13)
  • Logique (8)
  • Education et enseignement (8)
  • Informatique, information, généralités (5)
  • Psychologie (4)
  • Epistémologie, causalité, genre humain (3)
  • Sciences de la nature et mathématiques (3)
  • Physique (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Langues et linguistique (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Technologie (Sciences appliquées) (2)
  • Linguistique générale (1)
  • Sport (1)

Domaines :

Fullscreen

219 thèses pour "Logique mathématique"

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

Accéder en ligne
Logique mathématique

Soutenue en 2006
thèse soutenue
Logique mathématique

Soutenue le 02-03-2012
thèse soutenue
Mathématiques. Logique mathématique

Soutenue le 12-09-2018
thèse soutenue
Sciences. Logique mathématique

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

Soutenue le 09-11-2016
thèse soutenue
Mathématiques. Logique mathématique

Soutenue le 23-10-2018
thèse soutenue

Résultats 1 à 10