Multi-weighted Automata and MSO Logic

Manfred Droste, Vitaly Perevoshchikov. Multi-weighted Automata and MSO Logic. Theory Comput. Syst., 59(2):231-261, 2016. [doi]

Abstract

Abstract is missing.