Résumé : Nous devons comprendre les aspects du théorème de CQMM préparatoires à l'implémentation. Cela passe par une phase d'analyse/conception des différentes réécritures qui lui sont liées.
Dernière modification : Monday 27 May 2024 | Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr |