TY  - CHAP
T2  - Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020
CY  - Cham
UR  - https://doi.org/10.1007/978-3-030-62536-8_4
TI  - Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
AV  - public
EP  - 51
ID  - publicatio36191
Y1  - 2020///
SN  - 9783030625368; 9783030625351
PB  - Springer International Publishing
SP  - 39
T3  - Lecture Notes in Computer Science
A1  -  Droste Manfred
A1  -  Fülöp Zoltán
A1  -  Kószó Dávid
A1  -  Vogler Heiko
ER  -