Résultats 1 à 3

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lyon (1)
  • Lyon, École normale supérieure (1)
  • Paris 7 (1)
  • University of Cambridge (1)

Etablissements :

Fullscreen

Disciplines :

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

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (2)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (2)
    • français (1)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Krivine Jean-Louis (1)
    • Laurent Olivier (1)
    • Miquel Alexandre (1)
    • Winskel Glynn (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (3)
    • Logique (1)

    Domaines :

    Fullscreen

    ...termes pour le théorème de HerbrandChapitre 5 : donne une introduction brève à la logique classiquedu...

    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

    Résultats 1 à 3