Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Barmpalias G. [2004] Approximation representations for Δ 2 reals Arch. Math. Log. , 43, № 8, 947–964 07.01.80 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Barmpalias G., Lewis A., Soskova M.J. [2008] Randomness, lowness, and degrees J. Symbolic Logic, 73, № 2, 559–577 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Barmpalias G., Cooper S.B., Lewis A. ? Minimal pairs and the Slaman-Soare phenomen In prepar. ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Barmpalias G. [2003] The approximation structure of a computably approximable real J. Symbolic Logic, 68, № 3, 885–922 07.01.78 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Afshari B., Barmpalias G., Cooper S.B., Stephan F. [2007] Post’s program for the Erchov hierarchy J. Logic and Comp., 17, № 6, 1025-1040 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Afshari B., Barmpalias G., Cooper S.B. [2006] Immunity properties and n -c.e. hierarchy Lect. Notes in Comp. Sci., 3959, 694-703, Springer –Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Barmpalias G., Greenberg N. [2009] K -trivial degrees and the jump-traceability hierarchy Proc. Amer. Math. Soc., 137, № 6, 2099-2109 10.ВН2.87 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Barmpalias G., Downey R.,Greenberg N. [2010] Working with strong reducibilities above totally ω-c.e. and array computable degrees Trans. Amer. Math. Soc.,362, № 2, 777-813 ВН10.12.37 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.B Badaev S. Bailey C.G. Baker T.P. Baleva V. Baratella S. Barback J. Barendregt H. Barmpalias G. Barwise J. Basu S. Baterman P.T. Baurle F.A. Batyrshin I.I. Becker H. Behman H. Beigel R.J. Belyaev V. N. Bennison V.L. Bentzien L. Bereznyuk S. Bergstra J. A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C. Bickford M. Binns S. Blacino ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.