| 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é |