A Nivat theorem for weighted picture automata and weighted MSO logics.

Parvaneh Babari Manfred Droste

Published in: J. Comput. Syst. Sci. (2019)

Keyphrases

weighted sum
natural language
cellular automata
expressive power
integrity constraints
inference rules
tree automata
weighted distance