Parvaneh Babari, Manfred Droste
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic
LATA, 2015.
@inproceedings{LATA-2015-BabariD, author = "Parvaneh Babari and Manfred Droste", booktitle = "{Proceedings of the Ninth International Conference on Language and Automata Theory and Applications}", doi = "10.1007/978-3-319-15579-1_55", isbn = "978-3-319-15578-4", pages = "703--715", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic}", volume = 8977, year = 2015, }