Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
Zapiski naucnych seminarov Leningradskogo (1968)
- Volume: 8, page 32-45
Access Full Article
topHow to cite
topДрагалин, А.Г.. "Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация." Zapiski naucnych seminarov Leningradskogo 8 (1968): 32-45. <http://eudml.org/doc/188106>.
@article{Драгалин1968,
author = {Драгалин, А.Г.},
journal = {Zapiski naucnych seminarov Leningradskogo},
keywords = {recursion theory, constructive mathematics},
language = {rus},
pages = {32-45},
publisher = {Nauka},
title = {Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация},
url = {http://eudml.org/doc/188106},
volume = {8},
year = {1968},
}
TY - JOUR
AU - Драгалин, А.Г.
TI - Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
JO - Zapiski naucnych seminarov Leningradskogo
PY - 1968
PB - Nauka
VL - 8
SP - 32
EP - 45
LA - rus
KW - recursion theory, constructive mathematics
UR - http://eudml.org/doc/188106
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.