Weighted Automata and Weighted Logics on Infinite Words

Manfred Droste, George Rahonis. Weighted Automata and Weighted Logics on Infinite Words. In Oscar H. Ibarra, Zhe Dang, editors, Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings. Volume 4036 of Lecture Notes in Computer Science, pages 49-58, Springer, 2006. [doi]

Abstract

Abstract is missing.