Théorie des modèles des formules locales et étude des langages formels qu'elles définissent

par Olivier Finkel

Thèse de doctorat en Mathématiques. Logique

Sous la direction de Jean-Pierre Ressayre.

Soutenue en 1993

à Paris 7 .


  • Résumé

    Les formules locales ont été définies par J. -P. Ressayre pour appliquer les idées de la théorie des modèles à l'étude des langages formels. On étudie la théorie des modèles infinis bien ordonnés des formules locales. Et on étend les résultats sur les langages formels qu'elles définissent: propriétés de clôture et d'indécidabilité pour les langages finit aires et les -langages


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (77 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 20 REF.Notes bibliogr.

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 : T930526
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1993
  • 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 02266
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.