Weighted Nested Word Automata and Logics over Strong bimonoids - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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

The following publications are possibly variants of this publication:

Weighted Nested Word Automata and Logics over Strong BimonoidsManfred Droste, Bundit Pibaljommee. wia 2012: 138-148 [doi]

Weighted finite automata over strong bimonoidsManfred Droste, Torsten StÃ¼ber, Heiko Vogler. isci, 180(1):156-166, 2010. [doi]

Determinization of weighted finite automata over strong bimonoidsMiroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler. isci, 180(18):3497-3520, 2010. [doi]

Finite-image property of weighted tree automata over past-finite monotonic strong bimonoidsManfred Droste, Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler. TCS, 919:118-143, 2022. [doi]

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is DecidableManfred Droste, Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler. dcfs 2020: 39-51 [doi]

runs on WebDSL