Une étude homologique des réseaux

par François Métayer

Thèse de doctorat en Mathématiques

Sous la direction de J.-Y. Girard.

Soutenue en 1994

à Paris 7 .


  • Pas de résumé disponible.


  • Résumé

    Les preuves de la logique linéaire ont une structure géométrique originale, celle de graphe apparié: parmi ces graphes, Les réseaux sont ceux qui représentent effectivement une preuve. La thèse définit l'homologie des graphes appariés et montre que celle-ci caractérise les réseaux. Ces résultats sont appliqués à la décision des formules. Est également discutée la complexité algorithmique de ce dernier problème

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (98 p.)
  • Annexes : Bibliogr., 1 page en fin de volume (15 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : T940538
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1994
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 04117
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.