Vous êtes ici

séminaires : Opérateurs de réduction et complétion de systèmes de réécriture linéaires - MATHIS -

Résumé  : disponible à https://indico.math.cnrs.fr/category/40/