Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko:
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.
THEORETICAL COMPUTER SCIENCE, 919.
pp. 118-143.
ISSN 0304-3975
(2022)
Fülöp Zoltán; Kószó Dávid; Vogler Heiko:
Crisp-determinization of weighted tree automata over strong bimonoids.
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 23 (1).
ISSN 1462-7264
(2021)
Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko:
Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.
In:
Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020.
Lecture Notes in Computer Science
(12442).
Springer International Publishing, Cham, pp. 39-51.
(2020)
ISBN 9783030625368; 9783030625351