Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree

Zanasi, Fabio; (2012) Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree. Masters thesis (M.Sc), University of Amsterdam, Institute for Logic, Language and Computation.

https://ift.tt/2FKRD9S