Heiko Vogler, Manfred Droste, Luisa Herrmann. A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. In Adrian Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 127-139, Springer, 2016. [doi]
Abstract is missing.