Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Harrington L. A., Haught C.A. ? Limitations on initial segment embeddings in the r. e. tt -degrees ? ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Haught C. A. [1986] The degrees below a 1-generic degree and less than J. Symbolic Logic, 51, № 3, 770-777 87.02.36 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Haught C. A. [1994] Embedding lattice into the wtt -degrees below 0 / J. Symbolic Logic, 59, № 4, 1360-1382 95.08.76 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Haught C. A., Slaman T.A. [1997] Automorphisms in the PTIME -Turing degrees of recursive sets Ann. Pure Appl. Logic, 84, № 1, 139-152 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Haught C. A., Shore R. A. [1990] Undecidability and initial segments of the (r.e.) tt -degrees J. Symbolic Logic, 55, № 3, 987-1006 91.04.70 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Haught C. A. [1987] Lattice embeddings in the recursively enumerable truth table degrees Trans. Amer. Math. Soc., 301, № 2, 515-535 88.01.38 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Haught C. A., Shore R. A. [1990] Undecidability and initial segments of the wtt -degrees below Lect. Notes in Math., 1432, 223-224, Springer-Verlag 91.04.70 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.H Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. 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....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.