Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques

Projet: Projet de thèse

Filtrer
Présentation orale

Résultats de recherche