Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Khoussainov B. M. [1994] Recursive unary algebras and trees Ann. Pure Appl. Logic, 67, № 1, 213-268 94.12.225 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Coles R. J., Downey R. G., Khoussainov B. M. [1997] Initial segments of computable linear orderings Order, 14, 107-124 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Khoussainov B. M., Nerode A. [1995] Effective properties of finitely generated r.e. algebras Progr. Comput. Sci. Appl. Logic, 13, 256-283 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Khoussainov B. M., Semukhin P., Slaman T.A. [2006] On Π 1 0 -presentations of algebras Arch. Math. Logik Grundl., 45, № 6, 769-781 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Goncharov S.S., Khoussainov B. M. [2000] Open problems in the theory constructive algebraic systems Contemporary Math., 257, 145-170. 02.12.291 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.