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