Decidability questions for term rewriting systems and tree transducers

Elmentve itt :
Bibliográfiai részletek
Szerző: Gyenizse Pál
További közreműködők: Fülöp Zoltán (Témavezető)
Dokumentumtípus: Disszertáció
Megjelent: 1999
Kulcsszavak:Informatika
Tárgyszavak:
Online Access:http://doktori.ek.szte.hu/4388
LEADER 00967nta a2200229 i 4500
001 dokt4388
005 20221013152938.0
008 201215s1999 hu om 0|| eng d
040 |a SZTE Doktori Repozitórium  |b hun 
041 |a eng 
100 1 |a Gyenizse Pál 
245 1 0 |a Decidability questions for term rewriting systems and tree transducers  |h [elektronikus dokumentum] /  |c  Gyenizse Pál 
260 |c 1999 
502 |a Disszertacio 
650 4 |a matematika- és számítástudományok 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Informatika 
700 1 |a Fülöp Zoltán  |e ths 
856 4 0 |u https://doktori.bibl.u-szeged.hu/id/eprint/4388/1/1998_gyenizse_pal.pdf  |z Dokumentum-elérés  
856 4 0 |u https://doktori.bibl.u-szeged.hu/id/eprint/4388/13/1998_gyenizse_pal_tezis.pdf  |z Dokumentum-elérés  
856 4 0 |u https://doktori.bibl.u-szeged.hu/id/eprint/4388/2/1998_gyenizse_pal_biralat.pdf  |z Dokumentum-elérés