A Weighted MSO Logic with Storage Behaviour and Its Bchi-Elgot-Trakhtenbrot Theorem.

Heiko Vogler, Manfred Droste, Luisa Herrmann

Browse the full LATA paper archive.