Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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. [1997] Difference splittings of recursively enumerable sets J. Universal Comp. Sci.,3, № 3 , 172-184 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [2000] Open questions about the n -c.e. degrees Contemporary Math., 257, 15-22 05.08.85 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1984] On effectively hyperimmune sets Recursive Function Theory Newletter, № 32, 11-14 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1990] On the structure of degrees below 0 / Lect. Notes in Math., 1432, 23-32, Springer-Verlag ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [2008] Definability and elementary equivalence in the Ershov difference hierarchy Lect. Notes in Logic, ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M. M., Kalimullin I. Sh., Lempp S. [2010] On Downey’s conjecture J. Symbolic Logic, 75, № 2, 401-441 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1993] Variations of weak density in the d -r.e. degrees J. Symbolic Logic, 58. № 3. 1148 94.09.53 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M., Omanadze R.Sh. [2007] Q -degrees of n -c.e. sets Ill. J. Math., 51, № 4, 1189-1206 10.02.136 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [2003] Truth-table complete computability enumerable sets Computability and models: perspectives East and West, Kluwer Academic/Plenum Publishers, 1-10 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1983] A hierarchy of degree of unsolvability Proc. VII Inter. Congress Logic, Methodology, Philosophy Sci., (Salzburg, 1983), North-Holland, 11-14 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1989] A hierarchy of degree of unsolvability Proc. VIII Inter. Congress Logic, Methodology, Philosophy Sci., (Moscow, 1987), Moscow, 63-86 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M., Sorbi A. [1999] Relative splitting of 0 / e in Δ 2 0 -enumeration degrees Lect. Notes in Logic, 13, 44-56, Springer -Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M. M., LaForte G. Slaman T.A. [1998] Relative enumerabikity in the difference hierarchy J. Symbolic Logic, 63, № 2, 411-420 01.11.70 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M., Batyrshin I.I., Omanadze R.Sh. [2008] Structural properties of n -c.e Q -degrees Ann. Pure Appl. Logic, 156, № 1,13-20 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1998] Weak presentations of computable partial orderings Proc. 6 Asian Logic Conf., (Singapore, 1998), 31-46, World Scientific, Singapore Univ. Press ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1997] Degree structures in the local degree theory Lect. Notes in Pure and Appl. Math., 187, 49-74, Marcel Dekker ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [2006] Generalized tabular reducibilities in infinite levels of Ershov difference hierarchy Lect. Notes in Comp. Sci., 2288, 15-23, Springer -Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1987] The recursion theorem, approximztions, and classifeing index sets of r. e. sets Lect. Notes in Comp.Sci, 278, 33-37, Springer -Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M. M., Cooper S.B., Li A. [2000], [2004] There is no low maximal d -c.e. degree Math. Logic Quarterly, 46, № 3, 409-416, corr. 50, № 6, 628-636 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M., Lempp S., Shore R. A. [1996] Interpolating d -r.e. and REA degrees between r.e. degrees Ann. Pure Appl. Logic, 78, № 1, 29-56 97.ВН6.62 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M., Lempp S., Shore R. A. [1996] On isolating r.e. and isolated d -r.e. degrees London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 61-80 ? O 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., Chong C.T., Cooper S.B., Yang Yue [2005] The minimal e -degree problem in fragments of Peano arithmetic Ann. Pure Appl. Logic, 131, № 1-3, 159-175 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M.M. [1994] Contributions to the history of variations of weak density in the n -r.e. degrees Proc. IX Inter. Congress Logic, Methodology, Philosophy Sci., (Uppsala, 1991), Elsevier, 199-208 ? 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сийской академии наук / Библиография Лаврова И.А.A AbianS Abraham U. Ackermann W. Aczel P. Addison J.W. Adleman L.M. Afshari B. Ahmad S. Alfeld Ch. Allender E. W. Aloisio P. Alton D.A. Ambos-Spies K. Appel K.I. AptKR Arbib M.A. Arslanov M. M, AshCJ AsserG. Ausiello G. AxJ Axt P. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Jockusch C.G. Jr., Lerman M., Soare R.I., Solovay R.M. [1989] Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion J. Symbolic Logic, 54, № 4, 1288-1323 90.12.34 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.