Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (4)
  • Sorbonne Paris Cité (4)
  • Université Paris-Saclay (ComUE) (4)
  • Grenoble (2)
  • Paris, CNAM (2)
  • Angers (1)
  • Artois (1)
  • Bordeaux (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont-Ferrand 2 (1)
  • Lille 3 (1)
  • Lorient (1)
  • Lyon (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Montpellier 3 (1)
  • Paris 1 (1)
  • Paris 6 (1)
  • Paris Sciences et Lettres (1)
  • Rennes 1 (1)
  • Universidad de la República (Montevideo) (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universiteit van Amsterdam (1)
  • Université de Lorraine (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (19)
  • Astronomie et Astrophysique (3)
  • Informatique. Informatique fondamentale (2)
  • Philosophie (2)
  • Biologie interdisciplinaire (1)
  • Mathématiques (1)
  • Sciences économiques (1)
  • Terre Solide (1)
  • Économie (1)
  • Études du monde anglophone (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • I2S - Information, Structures, Systèmes (1)
  • MATHSTIC (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; ....-2014) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (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é (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale d'Économie (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (26)
  • français (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Miquel Alexandre (2)
  • Peltier Nicolas (2)
  • Baelde David (1)
  • Bagus Philipp (1)
  • Barberousse Anouk (1)
  • Bensalem Saddek (1)
  • Blazy Sandrine (1)
  • Boué Gwenaël (1)
  • Bénatouïl Thomas (1)
  • Caferra Ricardo (1)
  • Cebron David (1)
  • Curien Pierre-Louis (1)
  • Dague Philippe (1)
  • Delahaye David (1)
  • Ditmarsch Hans van (1)
  • Dubois Catherine (1)
  • Dufour François (1)
  • Echenim Bertrand Mnacho (1)
  • Foucault Gilles (1)
  • Gertchev Nikolay (1)
  • Gimbert Hugo (1)
  • Grappin Roland (1)
  • Grégoire Eric (1)
  • Guerrini Stefano (1)
  • Herbelin Hugo (1)
  • Hülsmann Jörg Guido (1)
  • Jensen Thomas (1)
  • Lallement Rosine (1)
  • Lapidus André (1)
  • Laskar Jacques (1)
  • Léon Jean-Claude (1)
  • Mazure Bertrand (1)
  • Mazza Damiano (1)
  • Miller Dale (1)
  • Monniaux David (1)
  • Nakagawa Elisa Yumi (1)
  • Oquendo Flavio (1)
  • Pantellini Filippo (1)
  • Pichardie David (1)
  • Prost Jean-Philippe (1)
  • Raynaud Claudine (1)
  • Retoré Christian (1)
  • Roy Jean-Michel (1)
  • Samadi Sarah (1)
  • Saurin Alexis (1)
  • Saïs Lakhdar (1)
  • Schaeffer Nathanaël (1)
  • Schmitz Sylvain (1)
  • Smets Sonja (1)
  • Toumani Farouk (1)
  • Yu Zhenhua (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (19)
  • Mathématiques (4)
  • Astronomie, cartographie, géodésie (4)
  • Informatique, information, généralités (3)
  • Philosophie, psychologie (2)
  • Economie (2)
  • Sciences de la vie, biologie, biochimie (1)
  • Littérature américaine en anglais (1)

Domaines :

Fullscreen

32 thèses pour Refutation completeness

...-termes, search space analysis,refutation completeness, term indexing.iiRemerciementsJe tiens en premier à...

Accéder en ligne
Informatique. Informatique fondamentale

Soutenue le 27-06-2017
thèse soutenue

...(B) =M(ϕ).12.2 DiscussionWe have given a new completeness argument for the full linear-time µ...

Accéder en ligne

...transforme cSP en undémonstrateur de théorèmes par réfutation. Le nombre de clauses générées pourvalider ou...

Accéder en ligne
Informatique

Soutenue le 17-06-2014
thèse soutenue

Résultats 1 à 10