Weighted Automata and Quantitative Logics.

Published in: QLSC (2012)

Keyphrases

cellular automata
expressive power
qualitative and quantitative
finite state
regular expressions
finite automata
data sets
pattern matching
higher order
quantitative and qualitative
inference rules
propositional dynamic logic