MoL-2012-08: Fabio Zanasi Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree 1.Full Text, 2.Abstract. < Back
