Geodesic
On the theory of program synthesis
Matematičeskie trudy, Tome 2 (1982), pp. 159-175 
N. N. Nepeivoda; D. I. Sviridenko. On the theory of program synthesis. Matematičeskie trudy, Tome 2 (1982), pp. 159-175. http://geodesic.mathdoc.fr/item/MT_1982_2_a6/
@article{MT_1982_2_a6,
     author = {N. N. Nepeivoda and D. I. Sviridenko},
     title = {On the theory of program synthesis},
     journal = {Matemati\v{c}eskie trudy},
     pages = {159--175},
     year = {1982},
     volume = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_1982_2_a6/}
}
TY  - JOUR
AU  - N. N. Nepeivoda
AU  - D. I. Sviridenko
TI  - On the theory of program synthesis
JO  - Matematičeskie trudy
PY  - 1982
SP  - 159
EP  - 175
VL  - 2
UR  - http://geodesic.mathdoc.fr/item/MT_1982_2_a6/
LA  - ru
ID  - MT_1982_2_a6
ER  - 
%0 Journal Article
%A N. N. Nepeivoda
%A D. I. Sviridenko
%T On the theory of program synthesis
%J Matematičeskie trudy
%D 1982
%P 159-175
%V 2
%U http://geodesic.mathdoc.fr/item/MT_1982_2_a6/
%G ru
%F MT_1982_2_a6

Voir la notice de l'article provenant de la source Math-Net.Ru