Geodesic
The frequency solution of the problem of occurrence in a~recursively enumerable set
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Mathematical logic, theory of algorithms and theory of sets, Tome 133 (1973), pp. 52-58.

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

@article{TM_1973_133_a5,
     author = {J. Barzdi\c{n}\v{s}},
     title = {The frequency solution of the problem of occurrence in a~recursively enumerable set},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {52--58},
     publisher = {mathdoc},
     volume = {133},
     year = {1973},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1973_133_a5/}
}
TY  - JOUR
AU  - J. Barzdiņš
TI  - The frequency solution of the problem of occurrence in a~recursively enumerable set
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1973
SP  - 52
EP  - 58
VL  - 133
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_1973_133_a5/
LA  - ru
ID  - TM_1973_133_a5
ER  - 
%0 Journal Article
%A J. Barzdiņš
%T The frequency solution of the problem of occurrence in a~recursively enumerable set
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1973
%P 52-58
%V 133
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_1973_133_a5/
%G ru
%F TM_1973_133_a5
J. Barzdiņš. The frequency solution of the problem of occurrence in a~recursively enumerable set. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Mathematical logic, theory of algorithms and theory of sets, Tome 133 (1973), pp. 52-58. http://geodesic.mathdoc.fr/item/TM_1973_133_a5/