thesis
Deux arguments pour les arbres infinis en Prolog
Institution:
Aix-Marseille 2Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Proposition d'une solution nouvelle a deux problemes: la production de l'automate a etats finis deterministe minimal reconnaissant un langage defini par une expression reguliere et la normalisation des expressions du lambda calcul