Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Kučera A. [1993] On relative randomness Ann. Pure Appl. Logic, 63, № 1, 61–67 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A. [1989] A note on initial segment below 0 / Comment. Math. Univ. Carol., 30, № 4, 779-781 90.08.33 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A. , Slaman T.A. [2006] Turing incomparability in Scott sets Proc. Amer. Math. Soc., 135, № 11, 3723-3731 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A., Slaman T.A. [2001] Randomness and recursive enumerability SIAM J. Comput., 31, № 1, 199-211 ВН03.01.453 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Kučera A. [2000] Randomness in computability theory Contemporary Math., 257, 1-14 01.ВН12.58 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A. [1989] On the use of diagonally nonrecursive functions Logic Coll.'87, North Holland, 219-239 90.06.66 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A. [1988] On the role of 0 / in recursion theory Logic Coll.’86, North-Holland, 133-141 90.03.42 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A., Terwijn S. [1999] Lowness for the class of random sets J. Symbolic Logic, 64, № 4, 1396-1402 09.10.120 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A. [1982] On recursive measure of classes of recursive sets Comment. Math. Univ. Carol., 23, № 1, 117-121 82.08.51 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... 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. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.