@article{aufsatz44375,
    affiliation = {Grundlagen der Programmierung},
    title = {Characterizing Weighted MSO for Trees by Branching Transitive Closure Logics.},
    journal = {Theoretical Computer Science},
    keywords = {weighted tree languages, monadic second-order logic, transitive closure logic},
    pages = {82--105},
    publisher = {Elsevier},
    year = {2015},
    peerreview = {Ja},
    openaccess = {Nein},
    volume = {594},
    doi = {doi:10.1016/j.tcs.2015.04.024},
    author = {Fülöp, Zoltán and Vogler, Heiko}
}