A GAME THEORETICAL APPROACH TOTHE ALGEBRAIC COUNTERPART OF THEWAGNER HIERARCHY 07

UNIVERSITE PARIS 7 – DENIS DIDEROT
UFR Informatique, LIAFA
UNIVERSITE DE LAUSANNE
Faculty of Business and Economics, ISI
PhD Thesis in
Computer Science
A GAME THEORETICAL APPROACH TO
THE ALGEBRAIC COUNTERPART OF THE
WAGNER HIERARCHY
J´er´emie CABESSA
A PhD thesis supervised by
Jacques DUPARC / Jean-Eric PIN
Oral examination : September 28
th
, 2007
Thesis Committee
Olivier CARTON Examiner
Jacques DUPARC Co-supervisor
Thomas HENZINGER Examiner
Jean-Eric PIN Co-supervisor
Victor SELIVANOV Referee
Marco TOMASSINI Examiner
Pascal WEIL Referee
II
III
tip
IV
tip
V
tip
VI

tip
VII
tip
VIII
Thesis Committee
• Jacques DUPARC, Professor at the University of Lausanne, Co-supervisor.
• Jean-Eric PIN, Professor at the University Paris Diderot - Paris 7 and
member of the CNRS, Co-supervisor.
• Marco TOMASSINI, Professor at the University of Lausanne, Internal
member.
• Olivier CARTON, Professor at the University Paris Diderot - Paris 7,
External memb e r.
• Thomas HENZINGER, Professor at the Eco le Polytechnique F´ed´erale de
Lausanne (EPFL), External member.
• Victor SELIVANOV, Professor at the Novosibirsk Pedagog ic al University,
External memb e r and referee.
• Pascal WEIL, Professor at the University Bordeaux I and member of the
CNRS, External member and referee.
IX
X
tip
XI
tip
XII
tip
XIII
tip
XIV
tip
XV

tip
XVI
tip
XVII
tip
XVIII
tip
XIX
tip
XX
tip
XXI
tip
XXII
tip
XXIII
tip
XXIV
Acknowlegements
I would like to ex press my gratitude to my two PhD supe rvisors, Jacques Duparc
and Jean-Eric Pin, for their supports throughout this res e arch work.
I am a s ever, deeply indebted to my parents, my sister Ga¨elle, my whole
family, and espe c ially to my uncle Joseph.
I would also like to acknowledge all my friends, with particular thanks to
Gaudi, GZA, Le Gnou, Max, and to my friends and colleagues Alessandro,
Christian, Denis, and Leslie.
My final heartfelt thanks go to Cinthia.
XXV