Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Carpentier A. [1970] Uniformly precomplete enumerations Z. math. Logik und Grundl. Math., 16, № 5, 463-468 71.07.70 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Carpentier A. [1968] Creative sequences and double sequences Notre Dame J. Formal Logic, 9, № 1, 35-61 69.09.53 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Carpentier A. [1969] Complete enumerations and double sequences Z. math. Logik und Grundl. Math., 15, № 1, 1-6 69.12.137 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Carpentier A. [1977] For a countable admissible ordinal α, the α-recursive functions are exactly the α-definite functions Repts. Math. Logic, № 9, 3-13 79.05.62 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.