Geodesic
Формальные трансляции
Veroâtnostnye metody i kibernetika, Tome 18 (1982), pp. 101-109.

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

Mots-clés : Formal translation of programming languages, partially recursive functions 
@article{VMK_1982__18_69217,
     author = {{\CYRV}.{\CYRD}. {\CYRS}{\cyro}{\cyrl}{\cyro}{\cyrv}{\cyrsftsn}{\cyre}{\cyrv}},
     title = {{\CYRF}{\cyro}{\cyrr}{\cyrm}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyrery}{\cyre} {\cyrt}{\cyrr}{\cyra}{\cyrn}{\cyrs}{\cyrl}{\cyrya}{\cyrc}{\cyri}{\cyri}},
     journal = {Vero\^atnostnye metody i kibernetika},
     pages = {101--109},
     publisher = {mathdoc},
     volume = {18},
     year = {1982},
     zbl = {0555.68013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1982__18_69217/}
}
TY  - JOUR
AU  - В.Д. Соловьев
TI  - Формальные трансляции
JO  - Veroâtnostnye metody i kibernetika
PY  - 1982
SP  - 101
EP  - 109
VL  - 18
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1982__18_69217/
LA  - ru
ID  - VMK_1982__18_69217
ER  - 
%0 Journal Article
%A В.Д. Соловьев
%T Формальные трансляции
%J Veroâtnostnye metody i kibernetika
%D 1982
%P 101-109
%V 18
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1982__18_69217/
%G ru
%F VMK_1982__18_69217
В.Д. Соловьев. Формальные трансляции. Veroâtnostnye metody i kibernetika, Tome 18 (1982), pp. 101-109. http://geodesic.mathdoc.fr/item/VMK_1982__18_69217/