Browsing Thèses et mémoires de l’Université de Montréal by Author "Cadilhac, Michaël"
Now showing items 1-1 of 1
-
Automates à contraintes semilinéaires = Automata with a semilinear constraint
Cadilhac, Michaël (2013-09-03)Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout ...