Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Ishmukhametov Sh.Т. [2003] On a problem of Cooper and Epstein J. Symbolic Logic, 68, № 1, 52-64 06.01.72 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ishmukhametov Sh.Т. [1999] On the r.e. predecessors of d.r.e. degrees Arch. Math. Logik Grundl., 38, № 6 , 373-386 05.08.84 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ishmukhametov Sh.Т. [2000] On relative enumerability of Turing degrees Arch. Math. Logik Grundl., 39, № 3, 145-154 05.09.72 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ishmukhametov Sh.Т., Wu G. [2002] Isolation and high/low hierarchy Arch. Math. Logik Grundl., 41, № 3, 259—266 05.09.83 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ishmukhametov Sh.Т. [1999] Weak recursive degrees and a problem of Spector Recursive Theory and Complexity, Kazan’97 Workshop, (Kazan, 1997), v. 2, 81-88, de Gruyter ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.I Ingrassia M.A. Ishmukhametov Sh.Т. Istrate G. IvanovLL Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.