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

Parvaneh Babari Manfred Droste

Published in: LATA (2015)

Keyphrases

finite state
data sets
knowledge base
database systems
multi agent systems
regular expressions