Gyenizse Pál
Decidability questions for term rewriting systems and tree transducers.
Doktori (PhD) értekezés, József Attila Tudományegyetem (1962-1999).
(1999)
(Kéziratban)
Előnézet |
Szöveg
(Disszertáció)
Download (43MB) | Előnézet |
Előnézet |
Szöveg
(Tézisfüzet)
Download (10MB) | Előnézet |
![[thumbnail of 1998_gyenizse_pal_biralat.pdf]](https://doktori.bibl.u-szeged.hu/style/images/fileicons/text.png "1998_gyenizse_pal_biralat.pdf") |
Szöveg
(Bírálati lap)
Restricted to Csak az archívum karbantartója Download (2MB) |
| Mű típusa: | Disszertáció (Doktori (PhD) értekezés) |
|---|---|
| Publikációban használt név: | Gyenizse Pál |
| Témavezető(k): | Témavezető neve Beosztás, tudományos fokozat, intézmény MTMT szerző azonosító Fülöp Zoltán MTA Számítástechnikai és Automatizálási Kutatóintézet 10005424 |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Doktori iskola: | Matematika Doktori Iskola (2022-) > Matematika- és Számítástudományok 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: | 1999 |
| Megjegyzések: | PhD ; Terjedelem: 118 lev. + Tézis 19 p. + 2 db opp. vélemény |
| Kulcsszavak: | Informatika |
| EPrint azonosító (ID): | 4388 |
| A feltöltés ideje: | 2020. dec. 15. 10:46 |
| Utolsó módosítás: | 2022. okt. 13. 15:29 |
| Raktári szám: | B 3529 |
| URI: | https://doktori.bibl.u-szeged.hu/id/eprint/4388 |
| Védés állapota: | védett |
Actions (login required)
 | Tétel nézet |
