Geodesic
Схемы программ и эффективные функционалы конечных типов
Veroâtnostnye metody i kibernetika, Tome 19 (1983), pp. 129-133.

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

Mots-clés : Turing machines, Kleene computability, program scheme, effective functionals 
@article{VMK_1983__19_69238,
     author = {{\CYRV}.{\CYRD}. {\CYRS}{\cyro}{\cyrl}{\cyro}{\cyrv}{\cyrsftsn}{\cyre}{\cyrv}},
     title = {{\CYRS}{\cyrh}{\cyre}{\cyrm}{\cyrery} {\cyrp}{\cyrr}{\cyro}{\cyrg}{\cyrr}{\cyra}{\cyrm}{\cyrm} {\cyri} {\cyrerev}{\cyrf}{\cyrf}{\cyre}{\cyrk}{\cyrt}{\cyri}{\cyrv}{\cyrn}{\cyrery}{\cyre} {\cyrf}{\cyru}{\cyrn}{\cyrk}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyra}{\cyrl}{\cyrery} {\cyrk}{\cyro}{\cyrn}{\cyre}{\cyrch}{\cyrn}{\cyrery}{\cyrh} {\cyrt}{\cyri}{\cyrp}{\cyro}{\cyrv}},
     journal = {Vero\^atnostnye metody i kibernetika},
     pages = {129--133},
     publisher = {mathdoc},
     volume = {19},
     year = {1983},
     zbl = {0543.68035},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1983__19_69238/}
}
TY  - JOUR
AU  - В.Д. Соловьев
TI  - Схемы программ и эффективные функционалы конечных типов
JO  - Veroâtnostnye metody i kibernetika
PY  - 1983
SP  - 129
EP  - 133
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1983__19_69238/
LA  - ru
ID  - VMK_1983__19_69238
ER  - 
%0 Journal Article
%A В.Д. Соловьев
%T Схемы программ и эффективные функционалы конечных типов
%J Veroâtnostnye metody i kibernetika
%D 1983
%P 129-133
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1983__19_69238/
%G ru
%F VMK_1983__19_69238
В.Д. Соловьев. Схемы программ и эффективные функционалы конечных типов. Veroâtnostnye metody i kibernetika, Tome 19 (1983), pp. 129-133. http://geodesic.mathdoc.fr/item/VMK_1983__19_69238/