Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Coles R. J., Downey R. G., LaForte G. ? A noninversion theorem for tt -reducibility ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Coles R. J., Downey R. G., Khoussainov B. M. [1997] Initial segments of computable linear orderings Order, 14, 107-124 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R.G.,Fellows M.R. [1995] Fixed-parameter tractability and completess, I: Basic results SIAM J. Comp., 24, № 4, 873-921 96.ВН11.370 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1989] Intervals and sublattices of the r. e. wtt -degrees, I: Density Ann. Pure Appl. Logic, 41, № 1, 1-26 ? OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [2000] A note on btt -degrees Rend. sem . mat. Univ. politechn., Torino,58, № 4, 449-456 03.Г11.177 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Yu Liang [2004] There are no low maximal d.c.e. degrees Notre Dame J. Formal Logic, 45, № 3, 147-159 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Nies A. [2000] Undecidability results for low complexity time classes J. Comp. and Syst. Sci., 60, № 2, 465-479 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G. [2002] Presentations of computably enumerable reals Theor. Comput. Sci., 284, № 2, 539-555 ВН04.01.188 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Nies A., Weber R., Yu Liang [2006] Lowness and Π 2 0 nullsets, J. Symbolic Logic, 71, № 3, 1044-1052 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Wu G., Zheng Xizhong [2004] Degrees of d .c.e. reals Math. Logic Quarterly, 50, № 4-5, 345-350 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Remmel J.B. [1998] Computable algebras and closure systems: coding properties Handbook of Recursive Mathematics, v.2, 977-1039, Elsevier ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Shore R. A. [1998] Splitting theorem and the jump operator Ann. Pure Appl. Logic, 94, № 1-3, 45-52 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Remmel J.B. [2000] Questions in computable algebra and combinatorics Contemporary Math., 257, 95-125 03.12.265 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Remmel J.B. [1989] Classification of degree classes associated with r.e. subspaces Ann. Pure Appl. Logic, 42, № 2, 105-125 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G., Nies A. [1998] Computability enumerable sets and quasi-reducibility Ann. Pure Appl. Logic, 95, № 1, 1-35 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ash C.J., Downey R. G. [1984] Decidable subspaces and recursively enumerable subspaces J. Symbolic Logic, 49, № 4, 1137-1145 85.08.57 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hirschfeldt D. R., Nies A. [2002] Randomness, computability and density SIAM J. Comp., 31, № 4, 1169-1183 ВН03.04.114 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1989] Recursively enumerable m - and tt -degrees, I. The quantity of m -degrees J. Symbolic Logic, 54, № 2, 553-567 90.07.34 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1991] Jumps of hemimaximal sets Z. math. Logik und Grundl. Math., 37, № 2, 113-120 92.09.64 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Lempp S. [1994] There is no plus-capping degree Arch. Math. Logik Grundl., 33, № 2, 109-119 95.01.63 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1997] Minimal pairs in initial segments of the recursively enumerable degrees Israel J. Math., 100, 7-27 ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N., Weber R. [2007] Totally ω computable enumerable degrees and bounding critical triples J. Math. Logic, 7, № 2, 145-171 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Haught C. A. [1994] Embedding lattice into the wtt -degrees below 0 / J. Symbolic Logic, 59, № 4, 1360-1382 95.08.76 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Shore R. A. [1995] Degree theoretical definitions of the low 2 r. e. sets J. Symbolic Logic, 60, № 3, 727-756 96.04.62 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Remmel J.B. [1987] Automorphisms and recursive structures Z. math. Logik und Grundl. Math., 33, № 4, 339-345 88.05.51 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Harrington L. A. [1996] There is no fat orbit Ann. Pure Appl. Logic, 80, № 3, 277-289 01.01.14 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Fellows M.R. [2001] Index sets and parametric reductions Arch. Math. Logik Grundl., 40, № 5, 329-348 05.08.79 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G. , Greenberg N. [2008] Strong jump- traceability, I. The computable enumerable case Adv. in Math., 217, № 5, 2045-2074 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Shore R. A. [1998] Intervals without critical triples Lect. Notes in Logic, 11, 17-43, Springer -Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Harrington L. A. [2008] On the orbits of computable enumerable sets J. Amer. Math. Soc., 21, 1105-1135 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Bailey C.G., Downey R. G. [1992] Tabular degrees in α-recursion theory Ann. Pure Appl. Logic, 55, № 3, 205-236 92.09.56 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Downey R. G. [1989] Degrees bounding minimal degrees Math. Proc. Cambridge Phil. Soc., 105, 211-222 89.08.65 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1989] Intervals and sublattices in the r.e. weak truth table degrees, II: nonbounding Ann. Pure Appl. Logic, 44, № 3, 153-172 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1988] Recursively enumerable m - and tt -degrees, II: The distribution of singular degrees Arch. Math. Logik Grundl., 27, № 2 , 135-148 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1984] A note on decompositions of recursively enumerable subspaces Z. math. Logik und Grundl. Math., 30, № 5, 465-470 85.06.37 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1993] Every recursive Boolean algebra is isomorphic to one with incomplete atoms Ann. Pure Appl. Logic, 60, № 3, 193-206 ? G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Yue Jang [1994] A rank one cohesive set Ann. Pure Appl. Logic, 68, № 2, 161-171 95.05.59 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Nies A. [1997] Undecidability results for low complexity degree structure Proc. 12 Ann. Conf. on Complexity Theory, 128-132 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1993] Friedberg splittings of recursively enumerable sers Ann. Pure Appl. Logic, 59, № 3, 175-199 94.06.95 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1986] Structural interactions of the recursively enumerable T - and W -degrees Ann. Pure Appl. Logic, 31, № 8, 205-236 ? OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Welch L.V. [1986] Splitting properties of r.e. sets and degrees J. Symbolic Logic, 51, № 1, 88-109 86.11.42 OS 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., Knight J.F. [1992] Orderings with α-th jump degree 0 α Proc. Amer. Math. Soc., 114, № 2, 545-552 93.08.48 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G., Lempp S. [1999] A Δ 2 0 set with barely Σ 2 0 degree J. Symbolic Logic, 64, № 4, 1700-1718 05.08.86 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Lempp S., Shore R. A. [1996] Jumps of minimal degrees below 0 / J. London Math. Soc., 53, № 3, 427-439 98.02.54 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., LaForte G., Shore R. A. [2003] Decomposition and infima in the c.e. degrees J. Symbolic Logic, 68, № 2, 551-579 06.01.73 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G. [1993] Undecidability and definability for parametrized polynomial time m -reducibilities Progr. Comput. Sci. Appl. Logic, 12, 194-221 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G. [1993] Lattice nonembeddings and intervals of the recursively enumerable degrees Ann. Pure Appl. Logic, 61, № 3, 195-221 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Blaylock R., Downey R. G. , Lempp S. [1997] Infima in the recursively enumerable wtt -degrees Notre Dame J. Formal Logic, 38, № 3, 406-419 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Harrington L. A. [2008] The complexity of orbits of computable enumerable sets Bull. Symbolic Logic, 14, № 2, 69-87 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.