Decidability questions for term rewriting systems and tree transducers

Gyenizse Pál
Decidability questions for term rewriting systems and tree transducers.
Doktori értekezés, József Attila Tudományegyetem (1962-1999).
(1999) (Kéziratban)

[thumbnail of 1998_gyenizse_pal.pdf]
Előnézet
PDF (disszertáció)
Download (43MB) | Előnézet
[thumbnail of 1998_gyenizse_pal_tezis.pdf]
Előnézet
PDF (tézisfüzet)
Download (10MB) | Előnézet
[thumbnail of 1998_gyenizse_pal_biralat.pdf] PDF (bírálati lap)
Restricted to Csak az archívum karbantartója

Download (2MB)
Mű típusa: Disszertáció (Doktori é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 > Matematika- és Számítástudományok Doktori Iskola (1993-2021)
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 Tétel nézet

Letöltések

Letöltések havi bontásban az elmúlt egy évben