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 : Thursday 21 November 2024 | Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr |