TY - RPRT TI - Multi-weighted Automata and MSO Logic AU - Manfred Droste AU - Vitaly Perevoshchikov PY - 2015 DO - 10.1007/978-3-642-38536-0_36 UR - https://arxiv.org/abs/1506.06024 ID - 1506.06024 ER -