Login / Signup

Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices.

Manfred DrosteHeiko 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