Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (12)
  • Nancy 1 (9)
  • Paris 1 (8)
  • Université de Lorraine (8)
  • Paris 10 (7)
  • Université Grenoble Alpes (ComUE) (6)
  • Bordeaux (4)
  • Paris, CNAM (4)
  • Rennes 1 (4)
  • Sorbonne Paris Cité (4)
  • Université Paris-Saclay (ComUE) (4)
  • Aix-Marseille (3)
  • Grenoble (3)
  • Lyon (3)
  • Paris 4 (3)
  • Université Côte d'Azur (ComUE) (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • Aix-Marseille 2 (2)
  • Chambéry (2)
  • Grenoble 1 (2)
  • Metz (2)
  • Montpellier 3 (2)
  • Nancy 2 (2)
  • Normandie (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 11 (2)
  • Paris 6 (2)
  • Paris Sciences et Lettres (ComUE) (2)
  • Toulouse 3 (2)
  • Université d'Ottawa (2)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble Alpes (1)
  • La Rochelle (1)
  • Lille 3 (1)
  • Lyon 1 (1)
  • Lyon 3 (1)
  • Lyon, École normale supérieure (1)
  • Nantes (1)
  • Nantes, Ecole des Mines (1)
  • Paris 2 (1)
  • Paris 3 (1)
  • Paris 5 (1)
  • Paris 8 (1)
  • Paris, EHESS (1)
  • Pau (1)
  • Toulouse, INPT (1)
  • Universidad de la República (Montevideo) (1)
  • University of Cambridge (1)
  • Université de Genève. Département de philosophie (1)
  • Université de Ngaoundéré (Cameroun) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (43)
  • Philosophie (25)
  • Sciences appliquées (9)
  • Mathématiques (5)
  • Droit public (3)
  • Psychologie (3)
  • Logique et fondements de l'informatique (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Philosophie (métaphysique, épistémologie, esthétique) (2)
  • Sciences de gestion (2)
  • Sciences économiques (2)
  • Sociologie (2)
  • Aménagement de l'espace, urbanisme. Architecture, Urbanisme et Environnement (1)
  • Didactique des mathématiques (1)
  • Droit privé (1)
  • ETUDES ROMANES spécialité Etudes hispaniques et hispano-américaines (1)
  • Esthétique (1)
  • Histoire du droit (1)
  • Image Numérique (1)
  • Information. Mathématiques et logique (1)
  • Informatique et Automatique (1)
  • Informatique et applications (1)
  • Informatique. Informatique fondamentale (1)
  • Intelligence artificielle (1)
  • Lettres (1)
  • Logique mathématique (1)
  • Mathématiques appliquées (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques et informatique (1)
  • Philosophie et sciences sociales (1)
  • Philosophie et épistémologie (1)
  • Psychologie. Psychanalyse et psychopathologie (1)
  • Psychologie/Psychodynamique du Travail (1)
  • SACRe, cinéma (1)
  • STIC Informatique (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l’éducation (1)
  • Sciences du langage - linguistique (1)
  • Sciences et techniques (1)
  • Sciences et techniques communes (1)
  • Épistémologie, histoire des sciences et des techniques (1)
  • Études théâtrales (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (10)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (5)
  • École doctorale Philosophie (Paris) (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Abbé Grégoire (Paris) (3)
  • École doctorale Concepts et langages (Paris) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (3)
  • École doctorale de philosophie (Lyon) (3)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (2)
  • IAEM Lorraine (2)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (2)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (2)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (2)
  • École doctorale de droit (Pessac, Gironde) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Cognition, langage, éducation (356) (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Perspectives Interculturelles : Ecrits, Médias, Espaces, Sociétés (PIEMES) (Metz-Nancy) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (1)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (1)
  • École doctorale Esthétique, sciences et technologie des arts (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Lettres, Arts, Sciences humaines et sociales (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Recherches en psychanalyse et psychopathologie (Paris ; 2001-....) (1)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (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 Systèmes (Toulouse) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale histoire du droit, philosophie du droit et sociologie du droit (Paris) (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale homme, sociétés, risques, territoire (Caen) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale sciences juridiques (Grenoble) (1)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (113)
  • anglais (18)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Galmiche Didier (6)
  • Andler Daniel (3)
  • Krivine Jean-Louis (3)
  • Salanskis Jean-Michel (3)
  • Blazy Sandrine (2)
  • Colson Loïc (2)
  • David René (2)
  • Dubucs Jacques (2)
  • Herbelin Hugo (2)
  • Huet Gérard (2)
  • Joinet Jean-Baptiste (2)
  • Kirchner Claude (2)
  • Miquel Alexandre (2)
  • Pouivet Roger (2)
  • Stratulat Sorin (2)
  • Tabareau Nicolas (2)
  • Accart Hardin Thérèse (1)
  • Amato Étienne Armand (1)
  • Archimède Bernard (1)
  • BEKKERS Y. (1)
  • Balaudé Jean-François (1)
  • Balsamo Maurizio (1)
  • Baranger Denis (1)
  • Barbaras Renaud (1)
  • Bardelli Pierre (1)
  • Benmiloud Karim (1)
  • Benoist Jocelyn (1)
  • Bertet Karell (1)
  • Blackburn Patrick (1)
  • Blanc Georges (1)
  • Bloch Isabelle (1)
  • Boissier Olivier (1)
  • Boizumault Patrice (1)
  • Boldo Sylvie (1)
  • Bolon Philippe (1)
  • Bourgeois Bernard (1)
  • Bouveret Myriam (1)
  • Brisson Luc (1)
  • Charles Sébastien (1)
  • Chauviré Christiane (1)
  • Cichon Eugeniusz-Adam (1)
  • Colliot-Thélène Catherine (1)
  • Corbineau Pierre (1)
  • Cousineau Guy (1)
  • Crocco Gabriella (1)
  • Dagognet François (1)
  • Dameron Stéphanie (1)
  • Dapoigny Richard (1)
  • De Glas Michel (1)
  • De Sainte-Catherine Myriam (1)
  • Dejours Christophe (1)
  • Deloustal-Jorrand Virginie (1)
  • Dubois Catherine (1)
  • Engel Pascal (1)
  • Euzenat Jérôme (1)
  • Fages François (1)
  • Fariñas del Cerro Luis (1)
  • Fouda Ndjodo Marcel (1)
  • Fournier Pierre (1)
  • Froment Jean-Charles (1)
  • Gardy Danièle (1)
  • Gautero Jean-Luc (1)
  • Gehrke Mai (1)
  • Gibel Patrick (1)
  • Giordan André (1)
  • Girard Jean-Yves (1)
  • Goffi Jean-Yves (1)
  • Gonzalez Francisco J. (1)
  • Gosselin Laurent (1)
  • Govindama Yolande (1)
  • Granger Gilles-Gaston (1)
  • Grigorieff Serge (1)
  • Grinbaum Alexei (1)
  • Groote Philippe de (1)
  • Guéna François (1)
  • Hakim Nader (1)
  • Halbwachs Nicolas (1)
  • Herzig Andreas (1)
  • Hirschowitz André (1)
  • Hirschowitz Tom (1)
  • Imperiale Sébastien (1)
  • Iturrioz Luisa (1)
  • Jensen Thomas (1)
  • Joly Patrick (1)
  • Jouannaud Jean-Pierre (1)
  • Kesner Delia (1)
  • Labussière Jean-Louis (1)
  • Lafont Yves (1)
  • Lakhnech Yassine (1)
  • Lakomski-Laguerre Odile (1)
  • Lamarche François (1)
  • Larchey-Wendling Dominique (1)
  • Lardic Jean-Marie (1)
  • Laurent Olivier (1)
  • Le Héron Edwin (1)
  • Lecomte Alain (1)
  • Lescanne Pierre (1)
  • Liquori Luigi (1)
  • Lévi Laurent (1)
  • Marché Claude (1)
  • Margenstern Maurice (1)
  • Marion Jean-Yves (1)
  • Mazza Damiano (1)
  • Mercat Christian (1)
  • Miller Dale (1)
  • Monniaux David (1)
  • Mougniotte Alain (1)
  • Musiol Michel (1)
  • Mélin-Soucramanien Ferdinand (1)
  • Méry Dominique (1)
  • Nenovsky Nikolay (1)
  • Pahlavan Farzaneh (1)
  • Paulin-Mohring Christine (1)
  • Pearce David J. (1)
  • Pisano Giusy (1)
  • Pogodalla Sylvain (1)
  • Périn Michaël (1)
  • Rahman Shahid (1)
  • Renaut Alain (1)
  • Ressayre Jean-Pierre (1)
  • Rotschild-Souriac Marie-Armelle (1)
  • Rueda Camilo (1)
  • Ryngaert Jean-Pierre (1)
  • Régnier Laurent (1)
  • Seidengart Jean (1)
  • Soloviev Sergei (1)
  • Soutif Eric (1)
  • Strassburger Lutz (1)
  • Szendy Peter (1)
  • Talon-Hugon Carole (1)
  • Thomas-Fogiel Isabelle (1)
  • Tramus Marie-Hélène (1)
  • Trépos Jean-Yves (1)
  • Vernant Denis (1)
  • Winskel Glynn (1)
  • Zacklad Manuel (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (49)
  • Philosophie, psychologie (23)
  • Mathématiques (14)
  • Sciences de l'ingénieur (12)
  • Epistémologie, causalité, genre humain (5)
  • Droit (5)
  • Psychologie (4)
  • Logique (3)
  • Philosophie occidentale moderne et philosophies non orientales (3)
  • Sciences sociales, sociologie, anthropologie (3)
  • Education et enseignement (3)
  • Informatique, information, généralités (2)
  • Métaphysique (2)
  • Economie (2)
  • Langues et linguistique (2)
  • Sciences de la nature et mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Gestion et organisation de l'entreprise (2)
  • Arts. Beaux-arts et arts décoratifs (2)
  • Les divers systèmes et écoles philosophiques (1)
  • Morale (éthique) (1)
  • Linguistique générale (1)
  • Architecture (1)
  • Arts du spectacle, loisirs (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littérature de langues romanes. Littérature française (1)

Domaines :

Fullscreen

130 thèses pour Logique intuitionniste

Informatique

Soutenue en 1999
thèse soutenue
Mathématiques

Soutenue en 1997
thèse soutenue
Mathématiques

Soutenue en 1992
thèse soutenue

Un lambda-calcul intuitionniste avec exceptions

par GEORGES MOUNIER sous la direction de René David - Chambéry

Sciences appliquées

Soutenue en 1999
thèse soutenue
Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018
thèse soutenue

...codensité,interpolation uniforme, logique intuitionniste propositionnelle,théorème de l’application ouverte...

Accéder en ligne

Résultats 1 à 10