Telecharger Cours

Réseaux de preuve et génération pour les grammaires de types ...

maires catégorielles d'unification (UCG) [154, 155, 78]. Cependant, les techniques mises en ?uvre pour la génération dans ce cadre s'inspirent d'autres ...



Download