Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Arslanov M. M., Kalimullin I. Sh., Lempp S. [2010] On Downey’s conjecture J. Symbolic Logic, 75, № 2, 401-441 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin J.Sh. [2003] Definability of the jump operator in the enumeration degrees J. Math. Logic, 3, № 2, 257-267 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin J.Sh. [2007] Elementary differences between the (2 p )- c.e. and (2 p +1)-c.e. enumeration degrees J. Symbolic Logic, 72, № 1, 277-284 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin J.Sh. [2002] Splitting properties of n -c.e. enumeration degrees J. Symbolic Logic, 67, № 2, 537-546 05.09.80 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin I. Sh. [2009] Enumeration degrees and enumerability of familes Journal of Logic and Computation, 19, № 1, 151-158 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin I.Sh. [2007] Some notes on degree spectra of the structure Lect. Notes in Comp. Sci., 4497, 389-398, Springer-Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin J.Sh. [2003] On primitive recursive permutations Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 249-258 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalimullin I.Sh. [2005] On the problems of definability in the enumeration degree Lect. Notes in Comp. Sci., 3526, 221-222, Springer-Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M. M., Kalimullin I. Sh., Sorbi A. [2001] Density results in the Δ 2 0 - e -degrees Arch. Math. Logik Grundl., 40, № 8, 597-614 04.12.87 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M., Cooper S.B., Kalimullin I.Sh.,Soskova M.I. [2008] Total degrees and nonsplitting properties of Σ 2 0 - enumeration degrees Lect. Notes in Comp. Sci., 4978, 568-578, Springer -Verlag ? , article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.K Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.