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
Thomason S.K. [1985] Axiomatic recursion theory and the continuous functionals J. Symbolic Logic, 50, № 2, 442-450 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1970] A theorem on initial segments of degrees J. Symbolic Logic, 35, № 1, 41-45 71.04.48 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1970] On initial segments of hyperdegrees J. Symbolic Logic, 35, № 2, 189-197 71.06.59 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1985] Priority arguments in the continuous recursively enumerable degrees J. Symbolic Logic, 50, № 3, 661-667 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1969] A note on non-distributive sublatties of degree and hyperdegrees Canad. J. Math., 21, № 1. 147-148 69.08.81 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1970] Sublattices and initial segments of the degrees of unsolvability Canad. J. Math., 22, № 3, 569-581 71.05.44 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1971] Sublattices of the recursively enumerable degrees Z. math. Logik und Grundl. Math., 17, № 3, 273-280 72.04.84 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thomason S.K. [1967] The forcing method and the upper semilattice of hyperdegree Trans. Amer. Math. Soc., 129, № 1, 38-57 68.07.133 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.