Concerning Kleene's normal form for computable functions
Časopis pro pěstování matematiky (1963)
- Volume: 088, Issue: 3, page 349-363
- ISSN: 0528-2195
Access Full Article
top
How to cite
topRieger, Ladislav. "Ke Kleeneho normální formě strojově vyčíslitelných funkcí." Časopis pro pěstování matematiky 088.3 (1963): 349-363. <http://eudml.org/doc/20833>.
@article{Rieger1963,
author = {Rieger, Ladislav},
journal = {Časopis pro pěstování matematiky},
keywords = {recursion theory, constructive mathematics},
language = {cze},
number = {3},
pages = {349-363},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {Ke Kleeneho normální formě strojově vyčíslitelných funkcí},
url = {http://eudml.org/doc/20833},
volume = {088},
year = {1963},
}
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
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 088
IS - 3
SP - 349
EP - 363
LA - cze
KW - recursion theory, constructive mathematics
UR - http://eudml.org/doc/20833
ER -
References
top- 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ů.) (1958) Zbl0080.00902MR0124208
- A. A. Mapков, 06 oдной нерозрешимой проблеме, касающейця матриц, Докл. Акад. Наук 1951, T. 78, No 6, 1089-1092. (1951) MR0042356
- 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.) (1954)
- 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). (1963)
- П.С. Hoвиков, O6 алгорифмической неразрешимости проблемы слов в теории групп, Trudy mat. inst. im. V. A. Steklova, XLIV, Moskva 1955. (1955)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.