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
Kierstead H. [1987] On Π 1 -automorphisms of recursive linear orders J. Symbolic Logic, 52, № 3, 681-688 88.05.64 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kierstead H. [1986] Recursive ordered sets Contemporary Math., 57, 75-102 87.В4.464 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kierstead H., McNulty G., Trotter W. [1984] A theory of recursive dimension for ordered sets Order, 1, № 1, 67-82 ? 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. Kummer M. Kurtz ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.