%0 Book Section
%A  Droste Manfred
%A  Fülöp Zoltán
%A  Kószó Dávid
%A  Vogler Heiko
%A Számítástudomány Alapjai Tanszék SZTE / TTIK / INF SZAT [2016-],
%B Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020
%C Cham
%D 2020
%F publicatio:36191
%I Springer International Publishing
%N 12442
%P 39-51
%S Lecture Notes in Computer Science
%T Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
%U http://publicatio.bibl.u-szeged.hu/36191/