| Title:
|
Ke Kleeneho normální formě strojově vyčíslitelných funkcí (Czech) |
| Title:
|
Concerning Kleene's normal form for computable functions (English) |
| Author:
|
Rieger, Ladislav |
| Language:
|
Czech |
| Journal:
|
Časopis pro pěstování matematiky |
| ISSN:
|
0528-2195 |
| Volume:
|
88 |
| Issue:
|
3 |
| Year:
|
1963 |
| Pages:
|
349-363 |
| Summary lang:
|
English |
| Summary lang:
|
Russian |
| . |
| Category:
|
math |
| . |
| MSC:
|
02-70 |
| idZBL:
|
Zbl 0163.25103 |
| idMR:
|
MR0180484 |
| DOI:
|
10.21136/CPM.1963.117467 |
| . |
| Date available:
|
2009-09-23T07:29:48Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/117467 |
| . |
| Reference:
|
[1] M. Davis: Computability and Unsolvability.McGraw-Hill. New York 1958. (V této monografii je vybraná bibliografie, zejména prací západních odborníků.) Zbl 0080.00902, MR 0124208 |
| Reference:
|
[2] A. A. Mapков: 06 oдной нерозрешимой проблеме, касающейця матриц.Докл. Акад. Наук 1951, T. 78, No 6, 1089-1092. MR 0042356 |
| Reference:
|
[3] A. A. Mapков: Teopия алгорифмов.Trudy mat. inst. im. V. A. Steklova, XLII, Moskva 1954. (V této monografii je representativní výběr bibliografických údajů do r. 1953.) |
| Reference:
|
[4] A. M. Turing: On Computable Numbers, with an Application to the Entscheidungsproblem.Proc. Lond. Math. Soc. ser. 2, vol. 42, pp. 230-265 (1963-1937); Correction, ibid. vol. 45, pp. 544-546 (1937). |
| Reference:
|
[5] П.С. Hoвиков: O6 алгорифмической неразрешимости проблемы слов в теории групп.Trudy mat. inst. im. V. A. Steklova, XLIV, Moskva 1955. |
| . |
