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
Leíró adatok
További adatokért lásd a Minden adat megjelenítése... fület