Decidability questions for term rewriting systems and tree transducers

Gyenizse Pál
Decidability questions for term rewriting systems and tree transducers.
Doctoral thesis (PhD), József Attila Tudományegyetem (1962-1999).
(1999) (Unpublished)

[thumbnail of 1998_gyenizse_pal.pdf]
Preview
PDF (thesis)
Download (43MB) | Preview
[thumbnail of 1998_gyenizse_pal_tezis.pdf]
Preview
PDF (booklet)
Download (10MB) | Preview
[thumbnail of 1998_gyenizse_pal_biralat.pdf] PDF (evaluation sheet)
Restricted to Repository staff only

Download (2MB)
Item Type: Thesis (Doctoral thesis (PhD))
Creators: Gyenizse Pál
Supervisor(s):
Supervisor
Position, academic title, institution
MTMT author ID
Fülöp Zoltán
MTA Számítástechnikai és Automatizálási Kutatóintézet
10005424
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Divisions: Doctoral School of Mathematics > Doctoral School of Mathematics (1993-2021)
Discipline: Natural Sciences > Mathematics and Computer Sciences
Language: English
Date: 1999
Additional Information: PhD ; Terjedelem: 118 lev. + Tézis 19 p. + 2 db opp. vélemény
Uncontrolled Keywords: Informatika
Item ID: 4388
Date Deposited: 2020. Dec. 15. 10:46
Last Modified: 2022. Oct. 13. 15:29
Depository no.: B 3529
URI: https://doktori.bibl.u-szeged.hu/id/eprint/4388
Defence/Citable status: Defended.

Actions (login required)

View Item View Item