A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic.

Parvaneh Babari, Manfred Droste

Browse the full LATA paper archive.