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
Fejer L., Shore R.A. [1988] Infima of recursively enumerable truth table degrees Notre Dame J. Formal Logic, 29, № 3, 420-437 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer L., Shore R.A. [1990] A direct construction of a minimal recursively enumerable truth-table degree Lect. Notes in Math., 1432, 187-204, Springer-Verlag ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer L., Shore R.A. [2001] Every incomplete computably enumerable truth-table degree is branching Arch. Math. Logik Grundl., 40, № 2, 113-123 04.12.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer L., Soare R.I. [1981] The plus-cupping theorem in the recursively enumerable degrees Lect. Notes in Math., 859, 49-62, Springer-Verlag 82.02.53 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer L., Shore R.A. [1985] Embeddings and extensions of embeddings in the recursively enumerable tt - and wtt -degrees Lect. Notes in Math., 1141, 121-140, Springer-Verlag 86.04.45 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. FriedmanHM ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.