Projet de recherche
PR48/01-9901
IMPLEMENTACION DE RESTRICCIONES DE DOMINIOS FINITOS EN UN LENGUAJE LOGICO FUNCIONAL.
date_range
Durée de 01 octobre 2001 à 30 décembre 2002
(15 mois)