Weighted Logics for Nested Words and Algebraic Formal Power Series

Christian Mathissen

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

mathematical theory
n gram
power consumption
related words
keywords
expressive power
weighted sum
modal logic
formal specification
epistemic logic
neural network
word pairs
formal model
text corpus
text documents
search engine
machine learning