Kószó Dávid Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2023)