Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Moses M. F. [1983] Recursive properties of isomorphism types J. Austral. Math. Soc., A34, № 2, 269-286. 83.11.104 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moses M. F. [1988] Decidable discrete linear orders J. Symbolic Logic, 53, № 2, 531-539 89.02.42 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moses M. F. [1984] Recursive linear orders with recursive successivities Ann. Pure Appl. Logic, 27, № 3, 253-264 ? G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moses M. F. [1993] n -recursive linear orders without ( n +1)-recursive copies Logical Methods, Birkhauser,12, 572-592 ? G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Moses M. F. [1986] Relations intrinsically recursive in linear orders Z. math. Logik und Grundl. Math., 32, № 5, 467-472 87.08.30 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Moses M.F. [1991] Recursive linear orderings with incomplete successivities Trans. Amer. Math. Soc., 326, № 2, 653-668 92.07.53 G 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сийской академии наук / Библиография Лаврова И.А.Downey R. G.,Gasarch W., Moses M.F. [1994] The structures of the honest polynomial m -degrees Ann. Pure Appl. Logic, 70, № 2, 113-139 95.07.46 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Gasarch W. I., Moses M. F. [1989] Honest polynomial reductions, non relativizationa and P =? NP Proc. 4 Ann. Conf. on Structure in Complexity Theory, IEEE Publ., 196-207 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Moses M.F. [1989] On choise sets and strongly non-trivial self-embeddings of recursive linear orders Z. math. Logik und Grundl. Math., 35, № 3, 237-246 90.03.44 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... 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сийской академии наук / Библиография Лаврова И.А.