Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (2)
  • Lyon (1)
  • Lyon, École normale supérieure (1)
  • Metz (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Rennes 1 (1)
  • Sorbonne Paris Cité (1)
  • Strasbourg (1)
  • University of Cambridge (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (7)
  • Mathématiques (2)
  • Logique mathématique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Mathématiques. Logique mathématique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (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 en Informatique et Mathématiques de Lyon (2)
  • É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, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aubin David (1)
  • Benzaken Véronique (1)
  • Contejean Evelyne (1)
  • Genet Thomas (1)
  • Krivine Jean-Louis (1)
  • Laurent Olivier (1)
  • Margenstern Maurice (1)
  • Miller Dale (1)
  • Miquel Alexandre (1)
  • Monin Benoît (1)
  • Schreck Pascal (1)
  • Soriano-Gafiuk Florence (1)
  • Stratulat Sorin (1)
  • Todorčević Stevo (1)
  • Valarcher Pierre (1)
  • Winskel Glynn (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (8)
  • Mathématiques (5)
  • Logique (1)

Domaines :

Fullscreen

12 thèses pour Théorème de Herbrand

...au théorème de Herbrand ; la seconde permet de re éter lesaspects quantitatifs liés à la consommation...

Accéder en ligne
Mathématiques. Logique et fondements de l'informatique

Soutenue en 2008
thèse soutenue
Informatique

Soutenue le 17-06-2014
thèse soutenue

...Herbrand. Recherche sur la théorie de la démonstration. PhD thesis, Facultédes sciences de Paris, June 1930...

Accéder en ligne

...logarithmique du théorème 94 de Hilbert.2.2 Une version logarithmique du théorème 94 de Hilbert 21Théorème 2...

Accéder en ligne
Informatique

Soutenue le 13-11-2018
thèse soutenue

...ces études montrent, théorème d’incomplétude de Gödelet indécidabilité du problème de l’arrêt des...

Accéder en ligne

Résultats 1 à 10