Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire

par Virgile Mogbil

Thèse de doctorat en Mathématiques discrètes et fondements de l'informatique

Sous la direction de Yves Lafont.

Soutenue en 2001

à Aix-Marseille 2 , en partenariat avec Université d'Aix-Marseille II. Faculté des sciences (autre partenaire) .


  • Pas de résumé disponible.

  • Titre traduit

    Phase semantics, proof nets and some decision problems in linear logic


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 2006 par [CCSD] [diffusion/distribution] à Villeurbanne

Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 103 p..
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f.101-102

Où se trouve cette thèse ?