Décidabilité des langages d'arbres du premier ordre

Séminaire
  • Quand ? 27/04/2017 à partir de 10:30 (America/Montreal / UTC-400)
  • Où ? Au local D4-2020 de la Faculté des sciences
  • Nom du contact
  • Participants Martin Beaudry, professeur, Département d’informatique, Université de Sherbrooke
  • Ajouter l'événement au calendrier iCal

RÉSUMÉ : À l'aide d'outils algébriques développés au cours des dernières années, on analyse la complexité d'un problème de décision issu de la théorie des langages formels.

Toutes les personnes intéressées sont cordialement invitées.