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
Moses M. F. [1983] Recursive properties of isomorphism types J. Austral. Math. Soc., A34, № 2, 269-286. 83.11.104 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moses M. F. [1988] Decidable discrete linear orders J. Symbolic Logic, 53, № 2, 531-539 89.02.42 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moses M. F. [1984] Recursive linear orders with recursive successivities Ann. Pure Appl. Logic, 27, № 3, 253-264 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moses M. F. [1993] n -recursive linear orders without ( n +1)-recursive copies Logical Methods, Birkhauser,12, 572-592 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moses M. F. [1986] Relations intrinsically recursive in linear orders Z. math. Logik und Grundl. Math., 32, № 5, 467-472 87.08.30 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Moses M.F. [1991] Recursive linear orderings with incomplete successivities Trans. Amer. Math. Soc., 326, № 2, 653-668 92.07.53 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Gasarch W. I., Homer S., Moses M. F. [1994] On honest polynomial time reduction and P = NP Ann. Pure Appl. Logic, 70, № 1, 1-27 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G.,Gasarch W., Moses M.F. [1994] The structures of the honest polynomial m -degrees Ann. Pure Appl. Logic, 70, № 2, 113-139 95.07.46 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Gasarch W. I., Moses M. F. [1989] Honest polynomial reductions, non relativizationa and P =? NP Proc. 4 Ann. Conf. on Structure in Complexity Theory, IEEE Publ., 196-207 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Moses M.F. [1989] On choise sets and strongly non-trivial self-embeddings of recursive linear orders Z. math. Logik und Grundl. Math., 35, № 3, 237-246 90.03.44 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... MillarRC MillarTS MillerD MillerJS MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.