Contributions to finite model theory and descriptive complexity

Contributions à la théorie des modèles finis et à la complexité descriptive

Yassine Hachaichi (1)

1 LR-LAMSIN-ENIT - Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur [Tunis]

This work is a contribution to the logical description of some classes of languages, i.e. in the scope of descriptive complexity

Ce travail a comme ambition de contribuer à la caractérisation logique de certaines classes de langages, c'est-à-dire à la discipline appelée complexité descriptive.

Mots clés: Language theory; Logic; Finite model theory; Descriptive complexity

Mots clés: Théorie des langages; Complexité descriptive; Logique; Théorie des modèles finis

Domaines: Mathématique discrète [cs.DM]; Complexité [cs.CC]

Yassine Hachaichi. Contributions à la théorie des modèles finis et à la complexité descriptive. Mathématique discrète [cs.DM]. Université Denis Diderot (Paris 7), 2001. Français. ⟨NNT : ⟩. ⟨tel-01298969⟩