TY - JOUR AU - Fülöp, Zoltán AU - Kószó, Dávid AU - Vogler, Heiko TI - Crisp-determinization of weighted tree automata over strong bimonoids JO - Discrete mathematics & theoretical computer science PY - 2021-2022 VL - 23 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.5943/ DO - 10.46298/dmtcs.5943 LA - en ID - DMTCS_2021_23_1_a15 ER -