Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Morozov A.S. [1998] Groups of computable automorphisms Handbook of Recursive Mathematics, v.1, 311-345, Elsevier ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Harizanov V. S., Knight J. F., Morozov A. S. [2002] Sequences on n -diagrams J. Symbolic Logic, 67, № 3, 1227-1247 06.10.49 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Morozov A.S., Truss J. K. [2001] On computable automorphisms of the rational numbers J. Symbolic Logic, 66, № 3, 1458-1470 02.11.157 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Calvert W. ,Fokina E.B.,Goncharov S. S., Knight J.,Kudinov O.V.,Morozov A.S.,Puzarenko V.G. [2007] Index sets for classes of high rank structures J. Symbolic Logic, 72, № 4, 1418-1432 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Lempp S., McCoy Ch.F.D., Morozov A.S., Solomon D.R. [2003] On self-embeddings of computable linear orders Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 259-265 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... MeyerAR Mihailovich N. J. Mileti J.R. MillarRC MillarTS MillerD MillerJS MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.