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
Kučera A. [1993] On relative randomness Ann. Pure Appl. Logic, 63, № 1, 61–67 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1989] A note on initial segment below 0 / Comment. Math. Univ. Carol., 30, № 4, 779-781 90.08.33 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. , Slaman T.A. [2006] Turing incomparability in Scott sets Proc. Amer. Math. Soc., 135, № 11, 3723-3731 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A., Slaman T.A. [2001] Randomness and recursive enumerability SIAM J. Comput., 31, № 1, 199-211 ВН03.01.453 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Kučera A. [2000] Randomness in computability theory Contemporary Math., 257, 1-14 01.ВН12.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hâjek P., Kučera A. [1989] On recursion theory in I Σ 1 J. Symbolic Logic, 54, № 2, 576-589 90.06.82 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1989] On the use of diagonally nonrecursive functions Logic Coll.'87, North Holland, 219-239 90.06.66 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1988] On the role of 0 / in recursion theory Logic Coll.’86, North-Holland, 133-141 90.03.42 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A., Terwijn S. [1999] Lowness for the class of random sets J. Symbolic Logic, 64, № 4, 1396-1402 09.10.120 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1986] An alternative, priority-free solution to Post's problem Lect. Notes. in Comp. Sci., 233, 493-500, Springer -Verlag ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1982] On recursive measure of classes of recursive sets Comment. Math. Univ. Carol., 23, № 1, 117-121 82.08.51 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Demuth O., Kučera A. [1987] Remark on 1-genericity, semigenericity and related concepts Comment. Math. Univ. Carol., 28, № 1, 85-94 87.09.42 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1985] Measure, Π 1 0 classes and complete extensions of PA Lect. Notes in Math., 1141, 245-259, Springer-Verlag 86.05.70 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1987] An alternative view on priority arguments Proc. VIII Inter. Congress Logic, Methodology, Philosophy Sci., (Moscow, 1987), Moscow, 146 88.02.38 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Kechris A.S. KentCF KentT 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.