The frequency solution of the problem of occurrence in a~recursively enumerable set
Informatics and Automation, 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{TRSPY_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 = {Informatics and Automation},
pages = {52--58},
publisher = {mathdoc},
volume = {133},
year = {1973},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TRSPY_1973_133_a5/}
}
J. Barzdiņš. The frequency solution of the problem of occurrence in a~recursively enumerable set. Informatics and Automation, Mathematical logic, theory of algorithms and theory of sets, Tome 133 (1973), pp. 52-58. http://geodesic.mathdoc.fr/item/TRSPY_1973_133_a5/