Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (37)
  • Toulouse 3 (12)
  • Nancy 1 (11)
  • Lyon 1 (8)
  • Paris 1 (8)
  • Paris Saclay (7)
  • Aix-Marseille 1 (6)
  • Lille 1 (6)
  • Sorbonne Paris Cité (6)
  • Bordeaux 1 (5)
  • Montpellier 2 (5)
  • Paris 11 (5)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (5)
  • Aix-Marseille 2 (4)
  • Angers (3)
  • Cachan, Ecole normale supérieure (3)
  • Grenoble INPG (3)
  • Montpellier (3)
  • Nantes (3)
  • Paris Est (3)
  • Rennes 1 (3)
  • Aix-Marseille (2)
  • Artois (2)
  • Bordeaux (2)
  • Caen (2)
  • Chambéry (2)
  • Grenoble (2)
  • Lyon (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Nice (2)
  • Paris 6 (2)
  • Paris 8 (2)
  • Paris, CNAM (2)
  • Paris, EHESS (2)
  • Toulouse, ISAE (2)
  • Université de Lorraine (2)
  • Versailles-St Quentin en Yvelines (2)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Côte d'Azur (1)
  • Evry-Val d'Essonne (1)
  • Florence (Italie) (1)
  • Grenoble 1 (1)
  • Grenoble Alpes (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)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 12 (1)
  • Paris 13 (1)
  • Paris, ENSAM (1)
  • Poitiers (1)
  • Reims (1)
  • Strasbourg 1 (1)
  • Toulouse, INSA (1)
  • UNIVERSITE CONSTANCE (KONSTANZ) (1)
  • Universidad de Buenos Aires (1)
  • Universidade nova de Lisboa (1)
  • Università degli studi di Roma "Tor Vergata". Facoltà di scienze (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)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (84)
  • Mathématiques (18)
  • Philosophie (12)
  • Sciences appliquées (8)
  • Intelligence artificielle (4)
  • Logique mathématique (4)
  • Informatique et mathématiques (3)
  • Logique mathématique et fondements de l'informatique (3)
  • Mathématiques appliquées (3)
  • Mathématiques. Logique et fondements de l'informatique (3)
  • Automatique (2)
  • Didactique des mathématiques (2)
  • Informatique et applications (2)
  • Mathématiques discrètes et fondements de l'informatique (2)
  • Sciences cognitives (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)
  • Informat. (1)
  • Informatique fondamentale (1)
  • Informatique théorique (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ématiques. Logique mathématique (1)
  • Mécanique, Modélisation numérique (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'education (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 de Sciences mathématiques de Paris Centre (Paris) (6)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • I2S - Information, Structures, Systèmes (2)
  • IAEM Lorraine (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (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)
  • Information, Communication, Modélisation et Simulation (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 Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (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, 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 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-....) (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 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 Systèmes (Toulouse) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (146)
  • anglais (49)
  • null (4)

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)
  • Lescanne Pierre (3)
  • Tison Sophie (3)
  • 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)
  • Delon Françoise (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)
  • Salibra Antonino (2)
  • Talbot Jean-Marc (2)
  • Abdeljaouad Mahdi (1)
  • Abrusci Vito Michele (1)
  • Aiguier Marc (1)
  • Akdag Herman (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)
  • 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)
  • Contejean Evelyne (1)
  • Coquand Thierry (1)
  • Cot Norbert (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)
  • 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)
  • Jaligot Eric (1)
  • Jard Claude (1)
  • Jorrand Philippe (1)
  • Jouannaud Jean-Pierre (1)
  • Kesner Delia (1)
  • Kott Laurent (1)
  • Kouloumdjian Jacques (1)
  • Kuhlmann Salma (1)
  • Labrousse Agnès (1)
  • Lamarche François (1)
  • Lascar Daniel (1)
  • Lavoué Guillaume (1)
  • Le Grand Jean-Louis (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)
  • Marret Sophie (1)
  • Marteau Pierre-François (1)
  • Maury Sylvette (1)
  • McShane Gregory (1)
  • Mejri Salah (1)
  • Minari Pierluigi (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)
  • 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)
  • 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)
  • Régnier Laurent (1)
  • Sabbagh Gabriel (1)
  • Saint-Dizier Patrick (1)
  • Sallantin Jean (1)
  • Samuelides M. (1)
  • Sandu Gabriel (1)
  • Santocanale Luigi (1)
  • Saporta Benoîte, de (1)
  • Saracco Jérôme (1)
  • Saurin Alexis (1)
  • Segoufin Luc (1)
  • Senizergues Géraud (1)
  • Siegel Pierre (1)
  • Simpson Carlos (1)
  • Soloviev Sergei (1)
  • Stephan Igor (1)
  • Stratulat Sorin (1)
  • Talay Denis (1)
  • Tarbouriech Sophie (1)
  • Tisseron Claude (1)
  • Todorc̆ević Stevo (1)
  • Tortora de Falco Lorenzo (1)
  • Travé-Massuyès Louise (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (104)
  • Mathématiques (56)
  • Sciences de l'ingénieur (16)
  • Philosophie, psychologie (12)
  • Logique (8)
  • Education et enseignement (7)
  • Informatique, information, généralités (6)
  • 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)
  • Technologie (Sciences appliquées) (2)
  • Linguistique générale (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Sport (1)

Domaines :

Fullscreen

199 thèses pour "Logique mathématique"

Logique mathématique

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

Soutenue en 2006
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
Informatique

Soutenue le 09-12-2009
thèse soutenue
Mathématiques

Soutenue le 16-07-2012
thèse soutenue
Logique mathématique et fondement de l' informatique

Soutenue en 2005
thèse soutenue

...la théorie des lan-gages, des automates finis et de la logique mathématique dans lesquels s...

Accéder en ligne

Résultats 1 à 10