Résolution d'équations sur les arbres et les listes

par Stéphane Grandcolas

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Alain Colmerauer.


  • Résumé

    Presentation d'un algorithme de simplification de systemes de contraintes constitues d'equations et de contraintes de longueur. Dans ces systemes, chaque occurrence de l'operation de concatenation est necessairement accompagnee d'une contrainte de longueur fixant la longueur de son operande gauche. Par des reecritures successives, le systeme de contraintes a traiter est amene soit a prendre une forme simplifiee, soit a trahir son insolubilite. Ce travail s'est concretise par l'implantation de l'algorithme de simplification a l'interieur d'un interpreteur du langage prolog iii


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 54 f.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.f. 53-54

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 16138
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.