Résultats 1 à 2

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (1)
  • Paris, Ecole normale supérieure (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (2)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
    • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (2)

      Langues :

      Fullscreen

      Directeurs de thèse :

      Valider et fermer
      • Cousot Radhia (1)
      • Miné Antoine (1)
      • Monniaux David (1)

      Directeurs de thèse :

      Fullscreen

      Domaines :

      Valider et fermer
      • Informatique, information, généralités (1)
      • Informatique (1)

      Domaines :

      Fullscreen

      ...terminaison. Dans ce chapitre, nousmontrons une simple extension du language avec des procedures recursives...

      Accéder en ligne

      Résultats 1 à 2