Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Homer S. [1980] Two splitting theorems for beta-recursion theory Ann. Math. Logic, 18, № 2, 137-151 80.12.41 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S. [1987] Minimal degrees for polynomial reducibilities J. Ass. Comput. Mach., 34, № 2, 480-491 88.Г9.302 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S. [1983] Intermediate β-r.e. degrees and the half-jump J. Symbolic Logic, 48, № 3, 790-796 84.07.53 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S., Sacks G.E. [1983] Inverting the half-jump Trans. Amer. Math. Soc., 278, № 1, 317-331 84.01.56 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S. [1986] On simple and creative sets in NP Theor. Comput. Sci., 47, № 2, 169-180 87.Г7.289 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S. , Long T. J. [1987] Honest polynomial degrees and P =? NP Theor. Comput. Sci., 51, № 3, 265-280 88.Г4.326 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Homer S., Soare R.I. [1994] Minimal pairs and complete problems Theor. Comput. Sci., 132, № 1-2, 229-241 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S. [1985] Minimal polynomial degrees of nonrecursive sets Lect. Notes in Math., 1141, 193-202, Springer-Verlag 86.03.52 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S. , Longpre L. [1994] On reductions of NP sets to sparse sets J. Comp. and System Sci., 51, 265-280 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ganesan K., Homer S. [1989] Complete problems and strong polynomial reducibilities Lect. Notes in Comp. Sci., 349, 240-250, Springer-Verlag ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S., Jacobs B. E. [1981] Degrees of non- α-speedable sets Z. math. Logik und Grundl. Math., 27, № 6, 539-548 82.06.51 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Gasarch W.I., Homer S. [1984] Relativizations comparing NP and expotential time Inform. and Control, 58, № 1-3, 88-100 85.Г4.36; O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Homer S., Soare R.I. [1990] Minimal pairs and complete problems Lect. Notes in Comp.Sci, 415, 24-36, Springer -Verlag ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Gasarch W. I., Homer S., Moses M. F. [1994] On honest polynomial time reduction and P = NP Ann. Pure Appl. Logic, 70, № 1, 1-27 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Homer S., Maass W. [1983] Oracle dependent properties of the lattice of NP sets. Theor. Comput. Sci., 24, № 3, 279-289 83.12.700 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Homer S., Yang Dong Ping [1990] Honest polynomial reductions and exptalli sets Lect. Notes in Math.,1432, 1-22, Springer-Verlag ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chen Zhixiang, Homer S. [1996] The bounded injuty priority method and the learnability of unios of rectangles Ann. Pure Appl. Logic, 77, № 2, 143-168 02.09.56 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek K. Hu Shin hua Hughes C.E. Hugill D. Hummel T. Huwig H. Hyland J.M.E. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.