Résultats 1 à 4

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (2)
  • Paris, CNAM (2)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Informatique, télécommunications et électronique (Paris) (2)
    • IAEM Lorraine (1)
    • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

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

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Delahaye David (2)
    • Kirchner Claude (2)
    • Berkani Karim (1)
    • Dubois Catherine (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (4)

      Domaines :

      Fullscreen

      4 thèses pour "Superdéduction"

      ...Nous avons donc obtenu cee nouvelle dérivation en superdéduction à partir de ladérivation δ dans...

      Accéder en ligne

      ...’étapes dont la déduction modulo [36] et la superdéduction [20] que nousprésentons ci-dessous.5.1.1 Déduction...

      Accéder en ligne
      Informatique

      Soutenue le 23-03-2009
      thèse soutenue

      ...superdeduction, two close formalismsallowing the integration of computations into proofs through a rewrite system...

      Accéder en ligne

      ..., David Delahaye, and Catherine Dubois. TableauxModulo Theories Using Superdeduction. In International...

      Accéder en ligne

      Résultats 1 à 4