Z
[Zan12] Fabio Zanasi. Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degrees. Master's thesis, Amsterdam University, the Netherlands, Août 2012. 
@mastersthesis{master-zanasi,
  author =              {Zanasi, Fabio},
  title =               {Expressiveness of Monadic Second-Order Logics on
                         Infinite Trees of Arbitrary Branching Degrees},
  year =                {2012},
  month =               aug,
  school =              {Amsterdam University, the~Netherlands},
  type =                {Master's thesis},
}
Liste des auteurs