Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Terwijn S. [2008] On the structure of the Medvedev lattice J. Symbolic Logic, 73, № 2, 543-558 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Terwijn S., Zambella D. [2001] Computational randomness and lowness J. Symbolic Logic, 66, № 3, 1199-1205 04.12.83 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A., Stephan F., Terwijn S. [2005] Randomness, relativization and Turing degrees J. Symbolic Logic, 70, № 2, 515-535 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Hirschfeldt D. R., Nies A. , Terwijn S. [2006] Calibrating randomness Bull. Symbolic Logic, 12, № 3, 411-491 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A., Terwijn S. [1999] Lowness for the class of random sets J. Symbolic Logic, 64, № 4, 1396-1402 09.10.120 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.