[PDF][PDF] Automata, Logics and Games for Infinite Trees
A Carayol - igm.univ-mlv.fr
This document presents a selection of the contributions obtained since my PhD thesis in
2006 at IRISA in Rennes. This research was conducted during my postdoc in RWTH Aachen …
2006 at IRISA in Rennes. This research was conducted during my postdoc in RWTH Aachen …