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
Kumabe M. [1994] Minimal upper bounds for arithmetical degrees J. Symbolic Logic, 59, № 2, 516-528 95.07.47 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1990] A 1-generic degree which bounds a minimal degree J. Symbolic Logic, 55, № 2, 733-743 91.09.45 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. ? On the structure of 1-generic degrees below 0 / ? ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1993] Generic degrees are complemented Ann. Pure Appl. Logic, 59. № 3, 257-272 94.08.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1991] Relative recursively enumeraility of generic degrees J. Symbolic Logic, 56, № 3, 1075-1084 92.06.50 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [2000] A 1-generic degree with a strong minimal cover J. Symbolic Logic, 65, № 3, 1395-1442 05.08.87 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1996] Degrees of generic sets London Math. Soc. Lect. Notes, 224, 167-183, Cambridge Univ. Press ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1993] Every n -generic degree is a minimal cover of an n -generic degree J. Symbolic Logic, 58, № 1, 219-231 94.02.64 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1996] Minimal complementation below uniform upper bounds for the arithmetical degrees J. Symbolic Logic, 61, № 4, 1158-1192 98.02.53 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R. Kummer M. Kurtz S.A. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.