Elements pour la decidabilite de l'unification modulo la distributivite

par Evelyne Contejean

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Jouannaud.

Soutenue en 1992

à Paris 11 .

    mots clés mots clés


  • Résumé

    Dans cette these, nous donnons des outils pour l'unification (ou resolution d'equations) modulo la distributivite (ou modulo d) d'un symbole f sur un symbole g. Cette theorie est l'une des dernieres qui soit derivee de l'arithmetique et pour laquelle il n'est toujours pas connu si l'unification est decidable ou non. Dans une premiere partie, nous etudions des problemes particuliers pour lesquels la decidabilite est triviale, les problemes equilibres ou les termes ne comportent pas de symboles g. Nous decrivons de facon precise l'ensemble (eventuellement infini) des solutions grace aux structures, qui possedent une propriete de decomposition maximale unique vis-a-vis d'un operateur ac1. Dans une deuxieme partie, nous introduisons les notions d'indexation et de stratification qui permettent de donner une caracterisation de l'egalite de termes modulo d. Nous utilisons ensuite les proprietes de la stratification pour demontrer la completude d'un ensemble de regles de transformation, qui reduisent un probleme a un probleme equilibre, lequel est ensuite facilement resolu grace a un passage a un probleme modulo ac1 dans les structures. Pour des raisons techniques, nous ne traitons qu'un cas particulier caracterise par une condition d'acyclicite dans un graphe. Nous decrivons enfin un algorithme original et efficace de resolution de systemes lineaires d'equations diophantiennes

  • Titre traduit

    Elements for decidability of unification modulo distributivity


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 147 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-010695

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1992-CON
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.