Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Friedman Sy D. [1994] The genericity conjecture J. Symbolic Logic, 59, № 2, 606-614 95.08.69 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D. [1997] Coding without fine structure J. Symbolic Logic, 62, № 3, 808-815 99.01.39 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Friedman Sy D. [1999] Ordinal recursive theory Handbook of Computability Theory, Elsevier, 277-300 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D. [1983] Some recent developments in higher recursion theory J. Symbolic Logic, 48, № 3, 629-642 84.07.52 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D., Sacks G.E. [1977] Inadmissible Recursion Theory Bull. Amer. Math. Soc., 83 , № 2, 255-256 77.12.48 0 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D. [1981] Natural α- RE degrees Lect. Notes in Math., 859, 63-66, Springer-Verlag 81.12.46 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D. [1975] An introduction to β-recursion theory General Recursion Theory, II. Proc. Symp. (Oslo, 1977), Amsterdam, 111-126 79.06.57 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D. [1982] The Turing degrees and metadegrees have isomorphic cones Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 145-157 84.02.39 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Friedman Sy D. [1985] Fine structure theory and its applications Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math.42, Springer-Verlag, 259-270 86.04.26 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. FriedmanHM FriedmanSyD Fröhlich A. Frolov A. Füredi Z. Fukuyama M. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.