Jeux et automates sur les ordres

Cette thèse aborde des sujets liés à la théorie des automates, à la logique et à la théorie des jeux. Ces thèmes sont au cœur de l'informatique théorique depuis de nombreuses décennies. Les travaux de recherche dans ces domaines sont motivés entre autres par des questions de modélisation et de...

Full description

Bibliographic Details
Main Author: Cristau, Julien
Language:FRE
Published: Université Paris-Diderot - Paris VII 2010
Subjects:
Online Access:http://tel.archives-ouvertes.fr/tel-00554026
http://tel.archives-ouvertes.fr/docs/00/55/40/26/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/55/40/26/ANNEX/expose.pdf