@article{aufsatz62049,
    affiliation = {Grundlagen der Programmierung},
    title = {A link between multioperator and tree valuation automata and logics},
    journal = {Theoretical Computer Science},
    keywords = {Weighted tree automaton; Weighted logic; Multioperator monoid; Tree valuation monoid},
    pages = {106--119},
    publisher = {Elsevier},
    year = {2015},
    peerreview = {Ja},
    openaccess = {Ja},
    volume = {594},
    doi = {doi:10.1016/j.tcs.2015.04.033},
    author = {Teichmann, Markus and Osterholzer, Johannes}
}