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
Vučkovich V.D. [1982] Relativized cylindrification Z. math. Logik und Grundl. Math., 28, № 2, 167-172 83.01.32 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1973] Local recursive theory Notre Dame J. Formal Logic, 14, № 2, 237-246 73.10.50 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1969] Almost recursive sets Proc. Amer. Math. Soc., 23, № 1, 114-119 70.06.81 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1977] Recursive and recursively enumerable manifolds, I Notre Dame J. Formal Logic, 18, № 2, 265-291 78.01.40 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1974] Almost recursivity and partial degrees Z. math. Logik und Grundl. Math., 20, № 5, 419-426 75.08.90 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1977] Recursive and recursively enumerable manifolds, II Notre Dame J. Formal Logic, 18, № 3, 383-405 78.03.68 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1967] Mathematics of incompleteness and unsolvability Z. math. Logik und Grundl. Math., 13, № 2, 123-150 68.05.103 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1967] Creative and weakly creative sequences of recursively enumerable sets Proc. Amer. Math. Soc., 18, № 3, 478-483 68.02.56 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Vučkovich V.D. [1970] Effective enumerability of some families of partially recursive functions connected with computable functionals Z. math. Logik und Grundl. Math., 16, № 2, 113-121 71.01.53 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.V Van Emde Boas P. Vanden Boom M. Vaught R. Vučkovich V.D. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.