Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Khoussainov B. M. [1994] Recursive unary algebras and trees Ann. Pure Appl. Logic, 67, № 1, 213-268 94.12.225 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Coles R. J., Downey R. G., Khoussainov B. M. [1997] Initial segments of computable linear orderings Order, 14, 107-124 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Khoussainov B. M., Nerode A. [1995] Effective properties of finitely generated r.e. algebras Progr. Comput. Sci. Appl. Logic, 13, 256-283 ? G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Khoussainov B. M., Semukhin P., Slaman T.A. [2006] On Π 1 0 -presentations of algebras Arch. Math. Logik Grundl., 45, № 6, 769-781 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Khoussainov B. M., Shore R. A. [1998] Computable isomorphisms, degree spectra of relations, and Scott families Ann. Pure Appl. Logic, 93, № 2, 153-193 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Goncharov S.S., Khoussainov B. M. [2000] Open problems in the theory constructive algebraic systems Contemporary Math., 257, 145-170. 02.12.291 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Khoussainov B. M., Lempp S., Slaman T.A. [2005] Computably enumerable algebras, their expansions, and isomorphisms Inter. J. Algeb. and Comp., 15, № 3, 437-454 06.12.299 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Goncharov S.S., Khoussainov B. M., Shore R. A. [1999] Computable categorical structures and expansions by constants J. Symbolic Logic, 64, № 1, 13-37 01.05.98 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Hirschfeldt D. R., Khoussainov B. M., Shore R. A. [2003] Computably categorical structure whose expansion by a constant has infinite computable dimension J. Symbolic Logic, 68, № 4, 1199-1241 05.05.107 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Hirschfeldt D. R., Khoussainov B. M., Shore R. A. Slinko A. [2002] Degree spectrs and computable dimension in algebraic structures Ann. Pure Appl. Logic, 115, № 1-3, 71-113 08.01.215 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. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.