Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Terwijn S. [2008] On the structure of the Medvedev lattice J. Symbolic Logic, 73, № 2, 543-558 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Terwijn S., Zambella D. [2001] Computational randomness and lowness J. Symbolic Logic, 66, № 3, 1199-1205 04.12.83 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Nies A., Stephan F., Terwijn S. [2005] Randomness, relativization and Turing degrees J. Symbolic Logic, 70, № 2, 515-535 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hirschfeldt D. R., Nies A. , Terwijn S. [2006] Calibrating randomness Bull. Symbolic Logic, 12, № 3, 411-491 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kučera A., Terwijn S. [1999] Lowness for the class of random sets J. Symbolic Logic, 64, № 4, 1396-1402 09.10.120 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Neis H.C., Terwijn S.A. [1996] Genericity and measure for exponential time Theor. Comput. Sci., 168, № 1, 3-19 98.ВН3.68 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Merkle W., Reimann J., Terwijn S.A. [2003] Almost complete sets Theor. Comput. Sci., 306, № 1-3, 177-194 05.ВН5.143 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Terwijn S.A., Zheng Xizhong [1997] Resource bounded randomness and weakly complete problems Theor. Comput. Sci., 172, № 1-2, 195-207 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K., Terwijn S.A., Zheng Xizhong [1994] Resource bounded randomness and weakly complete problems Lect. Notes in Comp. Sci, 834, 369-377, Springer-Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Hirschfeldt D. R., Terwijn S. [2008] Limit computability and constructive measure Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 131-142 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.