| Tartalom: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/articl... |
| Archívum: |
Acta Cybernetica |
| Gyűjtemény: |
Regular articles
|
| Cím: |
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem
|
| Létrehozó: |
Halava, Vesa
Harju, Tero
|
| Kiadó: |
University of Szeged, Institute of Informatics
|
| Dátum: |
2020-07-25
|
| Téma: |
Normal systems
Post's correspondence problem
undecidability
assertion problem
|
| Tartalmi leírás: |
|
| Nyelv: |
angol
|
| Típus: |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
|
| Formátum: |
application/pdf
|
| Azonosító: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4125
10.14232/actacyb.284625
|
| Forrás: |
Acta Cybernetica; Vol 24 No 4 (2020): Regular papers; 613-623
2676-993X
0324-721X
|
| Kapcsolat: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4125/4006
|
