Weighted automata and multi-valued logics over arbitrary bounded lattices

Manfred Droste, Heiko Vogler. Weighted automata and multi-valued logics over arbitrary bounded lattices. Theoretical Computer Science, 418:14-36, 2012. [doi]

Abstract

Abstract is missing.