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
Harrington L. A., Haught C.A. ? Limitations on initial segment embeddings in the r. e. tt -degrees ? ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Haught C. A. [1986] The degrees below a 1-generic degree and less than J. Symbolic Logic, 51, № 3, 770-777 87.02.36 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Haught C. A. [1994] Embedding lattice into the wtt -degrees below 0 / J. Symbolic Logic, 59, № 4, 1360-1382 95.08.76 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Haught C. A., Slaman T.A. [1997] Automorphisms in the PTIME -Turing degrees of recursive sets Ann. Pure Appl. Logic, 84, № 1, 139-152 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Haught C. A., Shore R. A. [1990] Undecidability and initial segments of the (r.e.) tt -degrees J. Symbolic Logic, 55, № 3, 987-1006 91.04.70 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Haught C. A. [1987] Lattice embeddings in the recursively enumerable truth table degrees Trans. Amer. Math. Soc., 301, № 2, 515-535 88.01.38 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Haught C. A., Shore R. A. [1990] Undecidability and initial segments of the wtt -degrees below Lect. Notes in Math., 1432, 223-224, Springer-Verlag 91.04.70 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.H Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.