Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata

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

[thumbnail of main.pdf] Szöveg (Disszertáció)
Download (1MB)
    [thumbnail of thesis.pdf] Szöveg (Tézisfüzet)
    Download (1MB)
      Mű típusa: Disszertáció (Doktori (PhD) é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ézetTétel nézet