Kleene and Bchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices.

Manfred Droste, Heiko Vogler

Browse the full DLT paper archive.