Thèse / HDR


Avis de Soutenance de Monsieur Qi QIU

Preuve automatique de terminaison : contributions à la réécriture de graphes par graphes de type pondérés étendus et dénombrement de morphismes

Liste des horaires :

  • Le 16 décembre 2025 de 14h à 16h