Grammaires d'arbres attribuées : méthodes de vérification des propriétés de graphes engendrés

par Kablan Barbar

Thèse de doctorat en Sciences

Sous la direction de Bruno Courcelle.

Soutenue en 1988

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Presentation d'une methode de recherche d'algorithmes de test des proprietes de graphes d'attributs engendres. Sont decrits, sous forme de point fixe d'un systeme regulier, des algorithmes iteratifs pour les tests de non-circularite, d'existence d'attributs inutiles et d'existence de chemins hamiltoniens dans les graphes engendres

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : Pagination multiple

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 88.A-963
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 88.A-963
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.