Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (19)
  • Université de Lorraine (11)
  • Paris 1 (8)
  • Sorbonne Paris Cité (8)
  • Université Grenoble Alpes (ComUE) (8)
  • Paris 10 (7)
  • Rennes 1 (7)
  • Nancy 1 (6)
  • Paris 4 (5)
  • Grenoble 1 (4)
  • Lyon (4)
  • Paris, CNAM (4)
  • Paris, EHESS (4)
  • Toulouse 2 (4)
  • Université Paris-Saclay (ComUE) (4)
  • Artois (3)
  • Caen (3)
  • Compiègne (3)
  • Dijon (3)
  • Grenoble (3)
  • Montpellier 3 (3)
  • Nancy 2 (3)
  • Nantes (3)
  • Paris 6 (3)
  • Aix-Marseille (2)
  • Bordeaux 1 (2)
  • Grenoble 2 (2)
  • Grenoble INPG (2)
  • Normandie (2)
  • Orléans (2)
  • Paris Est (2)
  • Toulouse 1 (2)
  • Toulouse, ISAE (2)
  • Université Côte d'Azur (ComUE) (2)
  • Valenciennes (2)
  • Aix-Marseille 1 (1)
  • Aix-Marseille 2 (1)
  • Amiens (1)
  • Antilles (1)
  • Avignon (1)
  • Belfort-Montbéliard (1)
  • Besançon (1)
  • Bourgogne Franche-Comté (1)
  • Brest (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Evry-Val d'Essonne (1)
  • Florence (Italie) (1)
  • Lille 3 (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Paris 13 (1)
  • Paris 2 (1)
  • Paris 3 (1)
  • Paris 7 (1)
  • Paris 8 (1)
  • Paris 9 (1)
  • Paris, EPHE (1)
  • Saint-Etienne (1)
  • Saint-Etienne, EMSE (1)
  • Supcom (Tunis) (1)
  • Tartu ülikool (1)
  • Toulouse, ENSAE (1)
  • Universidad autonóma de Madrid (1)
  • Universiteit van Amsterdam (1)
  • University of Western Sydney (1)
  • Università degli studi (Bologne, Italie) (1)
  • Université Abou Bekr Belkaid (Tlemcen, Algérie) (1)
  • Université Cheikh Anta Diop de Dakar (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université d'Ottawa (1)
  • Université de Carthage (Tunisie) (1)
  • Université de Lausanne (1)
  • Université de Nis, Serbie (1)
  • Université de Paris (2019-....) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université de Yaoundé I (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (69)
  • Philosophie (24)
  • Sciences appliquées (9)
  • Intelligence artificielle (8)
  • Sciences du langage (5)
  • Sciences économiques (5)
  • Philosophie et sciences sociales (2)
  • Psychologie (2)
  • STIC Informatique (2)
  • Sciences et techniques communes (2)
  • Aménagement (1)
  • Aménagement de l'espace, urbanisme. Architecture, Urbanisme et Environnement (1)
  • Architecture (1)
  • Arts et Sciences de l'art (1)
  • Didactique des sciences (1)
  • Droit (1)
  • Droit privé (1)
  • Droit public (1)
  • ETUDES ROMANES spécialité Etudes hispaniques et hispano-américaines (1)
  • Egonomie (1)
  • Epistémologie, histoire des sciences et des techniques. Histoire et philosophie des sciences (1)
  • Etudes romanes (1)
  • Informatique : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique appliquée aux sciences sociales (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et mathématiques (1)
  • Informatique et télécommunications (1)
  • Informatique linguistique (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Intelligence artificielle (1)
  • InformatiqueInformatique (1)
  • Langues, littératures et civilisations romanes : Espagnol (1)
  • Lettres modernes (1)
  • Linguistique (1)
  • Littérature comparée (1)
  • Littérature française (1)
  • Littérature française et francophone (1)
  • Littératures et cultures médiatiques (1)
  • Mathématiques et Informatique (1)
  • Musique et musicologie (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Philosophie, épistémologie (1)
  • PhilosophiePhilosophie (1)
  • Productique (1)
  • Psychanalyse (1)
  • Psychologie. Recherches en psychanalyse et psychopatologie (1)
  • Représentation de la connaissance et formalisation du raisonnement (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'éducation (1)
  • Sciences de la vie et de la santé (1)
  • Sciences du langage (option : linguistique) (1)
  • Sciences du langage - linguistique (1)
  • Sciences du langage Spécialité Linguistique Sociolinguistique et Acquisition du langage (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Sciences et techniques (1)
  • Sciences juridiques (1)
  • Sociologie (1)
  • Technologies de l'information et des systèmes (1)
  • Études Grecques et Latines (1)
  • Études audiovisuelles (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 Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (4)
  • École doctorale Philosophie (Paris) (4)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (4)
  • École doctorale de l'École des hautes études en sciences sociales (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (3)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (2)
  • IAEM Lorraine (2)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale Abbé Grégoire (Paris) (2)
  • École doctorale Arts et médias (Paris) (2)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (2)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (2)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (2)
  • ED SIS 488 (1)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2010-2015) (1)
  • Ecole doctorale Georges Vedel Droit public interne, science administrative et science politique (Paris) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • Institut national polytechnique. Département des études doctorales (Grenoble) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; ....-2014) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Humanités (Poitiers) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Littérature française et comparée (Paris) (1)
  • École doctorale Littératures françaises et comparée (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Milieu insulaire tropical : dynamiques de développement, sociétés, patrimoine et culture dans l'espace Caraïbes-Amériques (Pointe-à-Pitre) (1)
  • École doctorale Recherches en psychanalyse et psychopathologie (Paris ; 2001-....) (1)
  • École doctorale Savoir, sciences, éducation (Paris ; 2019-....) (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'homme et de la société (Orléans) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Structure et dynamique des systèmes vivants (Gif-sur-Yvette, Essonne ; 2015-....) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de l'École pratique des hautes études (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (151)
  • anglais (29)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Herzig Andreas (7)
  • Fariñas del Cerro Luis (5)
  • Blackburn Patrick (3)
  • Chauviré Christiane (3)
  • Ditmarsch Hans van (3)
  • Balbiani Philippe (2)
  • Besnard Philippe (2)
  • Chiaramella Yves (2)
  • Cholvy Laurence (2)
  • Feuillade Guillaume (2)
  • Galmiche Didier (2)
  • Gasquet Olivier (2)
  • Heinzmann Gerhard (2)
  • Kistler Max (2)
  • Lorini Emiliano (2)
  • Lourdeaux Domitile (2)
  • Montebello Pierre (2)
  • Palamidessi Catuscia (2)
  • Pouivet Roger (2)
  • Rouault Jacques (2)
  • Trognon Alain (2)
  • Abel Olivier (1)
  • Aboudrar Bruno-Nassim (1)
  • Aiguier Marc (1)
  • Aknine Samir (1)
  • Amblard Maxime (1)
  • Amghar Youssef (1)
  • Armetta Frédéric (1)
  • Asher Nicholas (1)
  • Aubenque Pierre (1)
  • Audemard Gilles (1)
  • Ayong Le Kama Alain (1)
  • Ašić Tijana (1)
  • Baelde David (1)
  • Barberousse Anouk (1)
  • Barkaoui Kamel (1)
  • Bastit Michel (1)
  • Becher Verónica (1)
  • Behr Irmtraud (1)
  • Benis Sinaceur Hourya (1)
  • Benmiloud Karim (1)
  • Bolon Philippe (1)
  • Bouhoula Adel (1)
  • Boutot Alain (1)
  • Bouveret Myriam (1)
  • Bres Jacques (1)
  • Bruandet Marie-France (1)
  • Brunel Pierre (1)
  • Cabedoche Bertrand (1)
  • Cardey-Greenfield Sylviane (1)
  • Carton Olivier (1)
  • Cavalli Ana (1)
  • Cazenave Tristan (1)
  • Charpillet François (1)
  • Chelkoff Grégoire (1)
  • Chevalier Yannick (1)
  • Chikh Azeddine (1)
  • Chorlay Renaud (1)
  • Chouvel Jean-Marc (1)
  • Claramunt Christophe (1)
  • Coatrieux Gouenou (1)
  • Colletta Jean-Marc (1)
  • Contassot-Vivier Sylvain (1)
  • Corno Fulvio (1)
  • Cortès Jacques (1)
  • Courtès Joseph (1)
  • Curien Pierre-Louis (1)
  • Cuvillier Élian (1)
  • Dapoigny Richard (1)
  • Darbord Bernard (1)
  • Daubisse Jean-Claude (1)
  • Deprez Christine (1)
  • Desclès Jean-Pierre (1)
  • Doumeingts Guy (1)
  • Dubucs Jacques (1)
  • Duparc Jacques (1)
  • Durand-Lose Jérôme (1)
  • Dévoué Elina (1)
  • ENJALBERT M. (1)
  • Echenim Bertrand Mnacho (1)
  • Ellouze Nebrasse (1)
  • Elvira González Javier (1)
  • Enjalbert P. (1)
  • Enjalbert Patrice (1)
  • Estraillier Pascal (1)
  • Euzenat Jérôme (1)
  • FROIDEVAUX VIORICA (1)
  • Ferreira Da Silva Catarina (1)
  • Festré Agnès (1)
  • Fotso Laure Pauline (1)
  • Fréville Arnaud (1)
  • Garcia Thierry (1)
  • Gardies Jean-Louis (1)
  • Garrouste Pierre (1)
  • Gefen Alexandre (1)
  • Genevès Pierre (1)
  • Geraci Carlo (1)
  • Geronimi Vincent (1)
  • Girardot Jean-Jacques (1)
  • Gosselin Laurent (1)
  • Goubault Éric (1)
  • Gouchan Yannick (1)
  • Groote Philippe de (1)
  • Groz Roland (1)
  • Guay Alexandre (1)
  • Guéna François (1)
  • HARDIN THERESE (1)
  • Haber Stéphane (1)
  • Hanaki Nobuyuki (1)
  • Hansen Helle Hvid (1)
  • Hassas Salima (1)
  • Hopfensitz Astrid (1)
  • Idani Akram (1)
  • Jia Yangli (1)
  • Joray Pierre (1)
  • Jorrand Philippe (1)
  • Kassel Gilles (1)
  • Kayser Daniel (1)
  • Konieczny Sébastien (1)
  • Kuijer Louwe (1)
  • Lacoste Paul (1)
  • Lang Christophe (1)
  • Lang Jérôme (1)
  • Langlet Irène (1)
  • Larchey-Wendling Dominique (1)
  • Laufer Laurie (1)
  • Layaida Nabil (1)
  • Lazzeri Christian (1)
  • Le Berre Daniel (1)
  • Ledru Yves (1)
  • Lefèvre Fabrice (1)
  • Lenne Dominique (1)
  • Lepsoo Tanel (1)
  • Lesot Marie-Jeanne (1)
  • Longin Dominique (1)
  • Lund Kristine (1)
  • Mahéo Gweltaz (1)
  • Mainguenaud Michel (1)
  • Mandiau René (1)
  • Marchal Bertrand (1)
  • Marilleau Nicolas (1)
  • Marion Jean-Yves (1)
  • Marquis Pierre (1)
  • Marret Sophie (1)
  • Meurie Cyril (1)
  • Mimram Samuel (1)
  • Minari Pierluigi (1)
  • Miquel Paul-Antoine (1)
  • Moulin Claude (1)
  • Mourlin Fabrice (1)
  • Moussa Mohamed Larbi Fadhel (1)
  • Mé Ludovic (1)
  • Médigue Claudine (1)
  • Métais Elisabeth (1)
  • Napoli Paolo (1)
  • Nef Frédéric (1)
  • Nicolaï André (1)
  • Nicolle Christophe (1)
  • Orange Christian (1)
  • Orange Ravachol Denise (1)
  • Palmigiano Alessandra (1)
  • Pearce David J. (1)
  • Peltier Nicolas (1)
  • Perrussel Laurent (1)
  • Pesty Sylvie (1)
  • Petit Jacques (1)
  • Philippe Laurent (1)
  • Poirel Dominique (1)
  • Pueyo Valérie (1)
  • Quinson Martin (1)
  • Quint Vincent (1)
  • Rahman Shahid (1)
  • Rampacek Sylvain (1)
  • Raveleau Benoît (1)
  • Ray Cyril (1)
  • Reboul Anne (1)
  • Rebuschi Manuel (1)
  • Rispail Marielle (1)
  • Roche Christophe (1)
  • Roggero Pascal (1)
  • Roisin Cécile (1)
  • Roy Jean-Michel (1)
  • Ruichek Yassine (1)
  • Rusinowitch Michaël (1)
  • Rykner Arnaud (1)
  • SAINT-DIZIER P. (1)
  • SIROUX J. (1)
  • Saad Inès (1)
  • Salanskis Jean-Michel (1)
  • Salazar Orvig Anne (1)
  • Sandu Gabriel (1)
  • Santocanale Luigi (1)
  • Saurin Alexis (1)
  • Schlenker Philippe (1)
  • Schwind Camilla (1)
  • Seguin Christel (1)
  • Shariat Ghodous Parisa (1)
  • Sibertin-Blanc Christophe (1)
  • Siegel Pierre (1)
  • Simon Jean-Pascal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (81)
  • Philosophie, psychologie (23)
  • Sciences de l'ingénieur (19)
  • Epistémologie, causalité, genre humain (7)
  • Linguistique générale (7)
  • Mathématiques (5)
  • Technologie (Sciences appliquées) (5)
  • Informatique, information, généralités (4)
  • Psychologie (4)
  • Philosophie occidentale moderne et philosophies non orientales (4)
  • Economie (4)
  • Droit (4)
  • Langues et linguistique (4)
  • Sciences de la nature et mathématiques (4)
  • Littérature de langues romanes. Littérature française (4)
  • Histoire et critique littéraires, rhétorique (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Education et enseignement (2)
  • Langues romanes. Français (2)
  • Architecture (2)
  • Médias d'information, journalisme, édition (1)
  • Métaphysique (1)
  • Logique (1)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (1)
  • Religion (1)
  • Administration publique. Arts et science militaires (1)
  • Commerce, communications, transports (1)
  • Langue anglaise. Anglo-saxon (1)
  • Langues germaniques. Allemand (1)
  • Langues espagnole et portugaise (1)
  • Autres langues (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Médecine et santé (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Urbanisme (1)
  • Arts graphiques (1)
  • Musique (1)
  • Arts du spectacle, loisirs (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Littérature italienne (1)
  • Histoire moderne et contemporaine de l'Europe (1)

Domaines :

Fullscreen

180 thèses pour "Logique modale"

Informatique. Intelligence artificielle

Soutenue en 2008
thèse soutenue
PhilosophiePhilosophie

Soutenue en 2008
thèse soutenue
Informatique

Soutenue en 2009
thèse soutenue

Nouvelles routes dans la logique modale quantifiée

par Mo Liu sous la direction de Hans Van ditmarsch et de Louwe Kuijer. - Université de Lorraine

Informatique

En préparation depuis le 19-11-2019
 thèse en cours de préparation

...présentons une mise en œuvre pour résoudre le problème de satisfaisabilité dansla logique modale K basée sur...

Accéder en ligne
Sciences appliquées

Soutenue en 1986
thèse soutenue

Résultats 1 à 10