Thèse de Tristan Charrier

"Complexité thèorique du raisonnement en logique épistémique dynamique et étude d'une approche symbolique" thèse de doctorat de l'Université de Rennes 1 en informatique