Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Downey R.. Hirschfeldt D. R. [2007] Algorithmic randomness and complexity Springer, Berlin ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R.G., Montalban A. [2008] Slender classes J. Lond.Math. Soc., 78, № 1, 36-50 10.09.78 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1984] Bases of supermaximal subspaces and Steinitz systems, I J. Symbolic Logic, 49, № 4, 1146-1159 85.08.58 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1983] Nowhere simplicity in matroids J. Austral. Math. Soc., A35,№ 1, 28-45 83.B11.544 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1989] D .r.e. degrees and the nondiamond theorem Bull. London Math. Soc., 21, № 1, 43-50 89.12.77 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1989] A contiguous nonbranching degree Z. math. Logik und Grundl. Math., 35, № 4, 375-383 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1988] Two theorems on truth-table degrees Proc. Amer. Math. Soc., 103, № 1, 281-287 89.01.30 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1987] Orbits of creative subspaces Proc. Amer. Math. Soc., 99, № 1, 163-170 87.Б11.912 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1991] On I \ P x classes their ranked points Notre Dame J. Formal Logic, 32, № 4, 499-512 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1987] Maximal theories Ann. Pure Appl. Logic, 33, № 3, 245-282 87.11.82 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1997] On presentation of algebraic structures Complexity, Logic and Recursion Theory, 157-205, Marcel Dekker ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1992] Nondiamond theorems for polynomial time reducibility J. Comp. and Syst. Sci., 45, № 3, 385-395 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1987] Subsets of hypersimple sets Pacif. J. Math., 127, № 2, 299-319 87.11.60 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1993] Array nonrecursive sets and lattice embeddings of the diamond Ill. J. Math., 37, № 3, 349-374 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1992] An invitation to structural complexity New Zealand J. Math., 21, 33-91 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1998] Computability theory and linear ordering Handbook of Recursive Mathematics, v.2, 823-976, Elsevier ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1997] On the universal splitting properly Math. Logic Quarterly, 43, 311-320 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1983] On a question of A. Retzlaff Z. math. Logik und Grundl. Math., 29 , № 4, 379-384 84.03.86 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1984] Co-immune subspaces and complementation in VI J. Symbolic Logic, 49, № 2, 528-538 85.02.58 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1987] Δ 2 0 degrees and transfer theorems Ill. J. Math., 31, № 3 , 419-427 ? OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1993] On irreducible m -degrees Rend. sem . mat. Univ. politechn., Torino, 51 , 109-112 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1991] On complexity theory and honest polynomial time degrees Theor. Comput. Sci., 78, № 2, 305-317 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Mourad J. [1990] Superbranching degrees Lect. Notes in Math., 1432, 175-186, Springer-Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Solomon R. ? On minimal wtt degrees and computable enumerable Turing degrees ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Yu Liang [2006] Arithmetical Sacks forcing Arch. Math. Logik Grundl., 45, № 6, 715-720 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Gale A. [2001] Genericity and Ershov’s hierarchy Math. Logic Quarterly, 47, № 2, 161-182 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N. ? Totally ω - computable enumerable degrees, II ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N. ? A hierarchy of new definable degree classes ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1993] Splitting theorems in recursion theory Ann. Pure Appl. Logic, 65, № 1, 1-106 ? G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N. ? Some new natural definable degrees classes ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Miller J. S., Wu G. ? Degrees of members of thin classes ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Shore R. A. [1996] Lattice embedding below a non- low 2 recursively enumerable degree Israel J. Math., 94, 221-246 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Remmel J.B. [1984] The universal complementation property J. Symbolic Logic, 49, № 4, 1125-1136 85.08.56 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Remmel J.B., [1994] Effectively and noneffectively nowhere simple subspaces Logical Methods, Birkhauser, 314-351 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hird G.R. [1985] Automorphisms of supermaximal subspaces J. Symbolic Logic, 50, № 1 , 1-9 86.02.49 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Fellows M.R. [1995] Parameterized computational feasibility Progr. Comp. Sci. Appl. Logic, 13, 219-244 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Kurtz S.A. [1986] Recursion theory and ordered groups Ann. Pure Appl. Logic, 32, № 1, 137-151 ? SG article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Slaman T.A. [1989] Completely mitotic r.e. degrees Ann. Pure Appl. Logic, 41, № 2, 119-152 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Lempp S., Wu G. ? On the complexity of the successivity relation in computable linear orders ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hirschfeldt D. R, , Miller J. S., Nies A. [2005] Relativizing Chaitin’s halting probability J. Math. Logic, 5, № 2, 167-192 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Griffiths E.J. J. [2004] Schnorr randomness J. Symbolic Logic, 69, № 2, 533–554 06.02.24 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Lempp S., Shore R. A. [1993] Highness and bounding minimal pairs Math. Logic Quarterly 39, 475-491 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hirschfeldt D. R., LaForte G. [2004] Randomness and reducibility J. Comp. and System Sci., 68, № 1, 96-114 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G. [1994] Permutations and presentations Proc. Amer. Math. Soc., 122, № 4, 1237-1249 95.06.201 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G. [1993] On the Cantor-Bendixon rank of recursively enumerable sets J. Symbolic Logic, 58, № 2, 629-640 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Hirschfeldt D. R., Nies A. , Terwijn S. [2006] Calibrating randomness Bull. Symbolic Logic, 12, № 3, 411-491 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Herrmann E. [2001] Some orbits for E Ann. Pure Appl. Logic, 107, № 1-3, 193-226 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Walk S. [2002] Maximal contiguous degrees J. Symbolic Logic, 67, № 1, 409-437 05.09.81 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Harrington L. A. ? Automorphisms of the lattice of computable enumerable sets In prepar. ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Coles R. J., Downey R. G., LaForte G. ? Strong reducibilities and the jump operator ? ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.