Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
LaForte G. [1995] The isolated d.r.e. degrees are dense in r.e. degree Math. Logic Quarterly, 42, 83-103 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.LaForte G. [2005] Isolation in the CFA hierarchy Arch. Math. Logik Grundl., 44, № 2, 227-244 06.05.73 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Coles R. J., Downey R. G., LaForte G. ? Strong reducibilities and the jump operator ? ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Coles R. J., Downey R. G., LaForte G. ? A noninversion theorem for tt -reducibility ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hirschfeldt D. R., LaForte G. [2004] Randomness and reducibility J. Comp. and System Sci., 68, № 1, 96-114 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G. [2002] Presentations of computably enumerable reals Theor. Comput. Sci., 284, № 2, 539-555 ВН04.01.188 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G., Nies A. [1998] Computability enumerable sets and quasi-reducibility Ann. Pure Appl. Logic, 95, № 1, 1-35 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G., Lempp S. [1999] A Δ 2 0 set with barely Σ 2 0 degree J. Symbolic Logic, 64, № 4, 1700-1718 05.08.86 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G., Shore R. A. [2003] Decomposition and infima in the c.e. degrees J. Symbolic Logic, 68, № 2, 551-579 06.01.73 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M. M., LaForte G. Slaman T.A. [1998] Relative enumerabikity in the difference hierarchy J. Symbolic Logic, 63, № 2, 411-420 01.11.70 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Coles R. J., Downey R. G., Jockusch C.G. Jr. LaForte G. [2005] Completing psevdojump operators Ann. Pure Appl. Logic, 136, № 3, 297-333. ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.L La Roche P. Lachlan A. H. Lacombe D. Ladner R.E. LaForte G. Lakins T. Lambert W. M. Landweber L.H. Langford G. Läuchli H. Lavrov I.A. Lebeuf R. Leeds S. Leggett A. Leivant D. Lempp S. LeonardJ Leonhardi S.D. Lerman M. LewisA LewisFD LewisHR LewisPM LiAngs LiXiang Lipton R.J. Liu S.C. Loh Chang-wan LongTJ Longo ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.