Ecole : un systeme de calcul formel pour expression combinatoire ou lambda-expression : applications aux termes lineaires et ordonnes

par NELLY GIRARD

Thèse de doctorat en Sciences appliquées

Sous la direction de ) ROBINET.

Soutenue en 1986

à Paris 6 .

    mots clés mots clés


  • Résumé

    Les ensembles de termes lineaires et ordonnes en logique combinatoire sont etudies en vue d'un codage vectoriel dans les "machines de reduction". Une formalisation de l'egalite extensionnelle est enoncee permettant son utilisation dans un algorithme de generation de tels ensembles. Des conditions suffisantes de leurs finitudes sont demontrees. Les resultats de cet algorithme sont obtenus au moyen d'un nouveau systeme de calcul formel: ecole


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 147 P.
  • Annexes : 25 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.