Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département d’Informatique
Auteur
SALMI, Cheikh
Directeur de thèse
MEZGHICHE Mohamed (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Etude de la décidabilité de filtrage d’ordre superieur
Mots clés
Filtrage;Type ;Decidabilité
Résumé
Il a été recement annoncé que le filtrage d’ordre superieur est decidable toutefois ,les méthodes de preure s’applique uniquement au cas dit "classiqué" lors que tous les types sont construits à partir d’un seul atome ;par conséquent le problème reste ouvert dans le cas général ,l’objectif de la thèse est l’étude du cas ou les types sont construits à partir d’un nombre arbitraire de variable de type
Statut
Vérifié
Tags & Categories
département
etablissement
université
affiliation
thèse
informatique
boumerdes
hamed
bougara
filtrage
universitÉ
Établissement
memoires
univérsité
établissement
établissement
boumerdes
établissement
departement
universite
affiliation
boumerdès
d’informatique
département
directeur
etablissement
mémoires
université