Geodesic
Ke Kleeneho normální formě strojově vyčíslitelných funkcí
Časopis pro pěstování matematiky, Tome 88 (1963) no. 3, pp. 349-363

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1963.117467
Classification : 02-70 
Rieger, Ladislav. Ke Kleeneho normální formě strojově vyčíslitelných funkcí. Časopis pro pěstování matematiky, Tome 88 (1963) no. 3, pp. 349-363. doi: 10.21136/CPM.1963.117467
@article{10_21136_CPM_1963_117467,
     author = {Rieger, Ladislav},
     title = {Ke {Kleeneho} norm\'aln{\'\i} form\v{e} strojov\v{e} vy\v{c}{\'\i}sliteln\'ych funkc{\'\i}},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {349--363},
     year = {1963},
     volume = {88},
     number = {3},
     doi = {10.21136/CPM.1963.117467},
     mrnumber = {0180484},
     zbl = {0163.25103},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1963.117467/}
}
TY  - JOUR
AU  - Rieger, Ladislav
TI  - Ke Kleeneho normální formě strojově vyčíslitelných funkcí
JO  - Časopis pro pěstování matematiky
PY  - 1963
SP  - 349
EP  - 363
VL  - 88
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1963.117467/
DO  - 10.21136/CPM.1963.117467
LA  - cs
ID  - 10_21136_CPM_1963_117467
ER  - 
%0 Journal Article
%A Rieger, Ladislav
%T Ke Kleeneho normální formě strojově vyčíslitelných funkcí
%J Časopis pro pěstování matematiky
%D 1963
%P 349-363
%V 88
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1963.117467/
%R 10.21136/CPM.1963.117467
%G cs
%F 10_21136_CPM_1963_117467

[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ů.) | MR | Zbl

[2] A. A. Mapков: 06 oдной нерозрешимой проблеме, касающейця матриц. Докл. Акад. Наук 1951, T. 78, No 6, 1089-1092. | MR

[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.)

[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).

[5] П.С. Hoвиков: O6 алгорифмической неразрешимости проблемы слов в теории групп. Trudy mat. inst. im. V. A. Steklova, XLIV, Moskva 1955.

Cité par Sources :