@article{DAN_1971_199_2_a2, author = {J. M. Barzdi\c{n}\v{s}}, title = {Complexity and accuracy of the solution of initial segments of the problem of occurrence in a recursively enumerable set}, journal = {Doklady Akademii Nauk}, pages = {262--264}, publisher = {mathdoc}, volume = {199}, number = {2}, year = {1971}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1971_199_2_a2/} }