Sign in
Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices.
Manfred Droste
Heiko Vogler
Published in:
Developments in Language Theory (2010)
Keyphrases
</>
regular expressions
valued logic
propositional logic
finite state machines
datalog programs
data mining
knowledge base
data management
logic programs