Kószó Dávid
Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata.
Doktori értekezés, Szegedi Tudományegyetem (2000-).
(2023)
PDF
(disszertáció)
Download (1MB) |
|
PDF
(tézisfüzet)
Download (1MB) |
Mű típusa: | Disszertáció (Doktori értekezés) |
---|---|
Publikációban használt név: | Kószó Dávid |
Témavezető(k): | Témavezető neve Beosztás, tudományos fokozat, intézmény MTMT szerző azonosító Fülöp Zoltán egyetemi tanár, MTA doktora, Számítástudomány Alapjai Tanszék SZTE / TTIK / INF 10005424 |
Szakterület: | 01. Természettudományok > 01.02. Számítás- és információtudomány > 01.02.01. Számítástudomány, információtudomány és bioinformatika > 01.02.01.12. Elméleti számítástudomány, formális módszerek, kvantumszámítástechnika |
Doktori iskola: | Informatika Doktori Iskola |
Tudományterület / tudományág: | Természettudományok > Matematika- és számítástudományok |
Nyelv: | angol |
Védés dátuma: | 2023. augusztus 25. |
EPrint azonosító (ID): | 11681 |
A mű MTMT azonosítója: | 35093442 |
doi: | https://doi.org/10.14232/phd.11681 |
A feltöltés ideje: | 2023. ápr. 05. 08:26 |
Utolsó módosítás: | 2024. júl. 10. 14:09 |
Raktári szám: | B 7254 |
URI: | https://doktori.bibl.u-szeged.hu/id/eprint/11681 |
Védés állapota: | védett |
Actions (login required)
Tétel nézet |