Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Cenzer D.,Remmel J.B. [1998] Complexity and categoricity Inform and Comput., 140, № 1, 2-25 98.ВН11.96 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D. [1977] Non-generable r.e. sets Lect. Notes in Comp.Sci.,56, 379-385, Springer -Verlag 79.06.62 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D. [1999] Π 1 0 classes in computability theory Handbook of Computability Theory, Elsevier, 37-85, ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Remmel J. B. [1998] Π 1 0 - classes in mathematics Handbook of Recursive Mathematics, v.2, 623-821, Elsevier ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Remmel J. B. [1998] Complexity theoretical model theory and algebra Handbook of Recursive Mathematics, v.2, 381-513, Elsevier ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Remmel J. B. [1991] Polynominal-time versus recursive models Ann. Pure Appl. Logic, 54, № 1, 17-58 82.03.87 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D. [1984] Monotone reducibility and the family of infinite sets J. Symbolic Logic, 49, № 3, 774-782 85.04.35 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Remmel J.B. [1991] Polynomial-time versus recursive models Ann. Pure Appl. Logic, 54, № 1, 17-58 92.03.87 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Jockusch C.G. Jr. [2000] Π 1 0 classes – structure and applications Contemporary Math., 257, 39-59 03.05.27 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D.A.,Smith R.L. [1989] On the ranked points of a Π 1 0 set J. Symbolic Logic, 54, № 3, 975-991 90.09.19 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Nies A. [2001] Initial segments of the lattice of Π 1 0 classes J. Symbolic Logic, 66, № 4, 1749-1765 05.08.99 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Remmel J. [2006] On the complexity of inductive definitions Math. Struc. Comp. Sci., 16, № 5, 763-788 BH08.11.105 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D.,Remmel J.B. [2002] Effectively closed sets and graphs of computable real functions Theor. Comp. Sci., 284, № 2, 279-318 04. ВН1.174 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Nies A. [2004] Global properties of the lattice of Π 1 0 - classes Proc. Amer. Math. Soc., 132, № 1, 239-249 08.01.203 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Hinman P. G. [2003] Density of the Medvedev lattice of Π 1 0 classes Arch. Math. Logik Grundl., 42, № 6, 583-600 05.08.80 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. [1986] Members of countable Π 1 0 classes Ann. Pure Appl. Logic, 31, № 2-3 , 145-163 ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Downey R. G., Jockusch C.G. Jr., Shore R. A. [1993] Countable thin Π 1 0 classes Ann. Pure Appl. Logic, 59, № 2, 79-139 93.09.20 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.