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 : Friday 10 January 2025 | Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr |