×

zbMATH — the first resource for mathematics

Complexity of programs to determine whether natural numbers not greater than n belong to a recursively enumerable set. (English. Russian original) Zbl 0193.31601
Sov. Math., Dokl. 9, 1251-1254 (1968); translation from Dokl. Akad. Nauk SSSR 182, 1249-1252 (1968).

PDF BibTeX XML Cite