Decidability questions for term rewriting systems and tree transducers

Gyenizse Pál
Decidability questions for term rewriting systems and tree transducers.
[Thesis] (Unpublished)

[thumbnail of 1998_gyenizse_pal.pdf]
Preview
PDF (disszertáció)
Download (43MB) | Preview
[thumbnail of 1998_gyenizse_pal_tezis.pdf]
Preview
PDF (tézis)
Download (10MB) | Preview
[thumbnail of 1998_gyenizse_pal_biralat.pdf] PDF (bírálati lap)
Restricted to Repository staff only

Download (2MB)
Item Type: Thesis (Doktori értekezés)
Creators: Gyenizse Pál
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Divisions: Doctoral School of Mathematics
Tudományterület / tudományág: Natural Sciences > Mathematics and Computer Sciences
Nyelv: 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. Mar. 17. 15:50
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

Downloads

Downloads per month over past year