Weighted Nested Word Automata and Logics over Strong bimonoids

Manfred Droste, Bundit Pibaljommee. Weighted Nested Word Automata and Logics over Strong bimonoids. Int. J. Found. Comput. Sci., 25(5):641, 2014. [doi]

Abstract

Abstract is missing.