Multi-weighted Automata and MSO Logic.

Manfred Droste Vitaly Perevoshchikov

Published in: CoRR (2015)

Keyphrases

finite state
regular expressions
tree automata
monadic second order logic
cellular automata
multi valued
automata theoretic
modal logic
temporal logic
predicate logic
automated reasoning
classical logic
finite automata
scheduling problem
turing machine
probabilistic automata
learning algorithm
information retrieval