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
Blum M. [1966] Recursive functions theory and speed of computation Canad. Math. Bull., 9, № 6, 745-750 68.06.71 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Adleman L.M., Blum M. [1991] Inductive inference and unsolvability J. Symbolic Logic, 56, № 3, 891-900 92.05.53 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Blum M., Gill J. [1974] On almost every complex recursive functions J. Ass. Comp. Mach., 21, 425-435 75.10.71 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Blum M. [1965] Enumeration of recursive sets by Turing machine Z. math. Logik und Grundl. Math., 11, № 3, 197-201 66.07.54 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Blum M., Marques I. [1973] On complexity properties of recursively enumerable sets J. Symbolic Logic, 38, № 4, 579-593 75.01.120 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Arbib M.A., Blum M. [1965] Machine dependence of degrees of difficulty Proc. Amer. Math. Soc., 16, № 3, 442-447 66.04.35 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Blum M. [1967] A machine independent theory of the complexity of recursive functions J. Ass. Comp. Mach., 14, № 2, 322-336 (Русский перевод в Проблемы в математической логике: Сложность алгоритмов ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... P.T. Baurle F.A. Batyrshin I.I. Becker H. Behman H. Beigel R.J. Belyaev V. N. Bennison V.L. Bentzien L. Bereznyuk S. Bergstra J. A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C. Bickford M. Binns S. Blacino L. Blair H. A. Blaylock R. Blum M. Bojkova E. BookR Boolos G. Boon W.W. Börger E. Borodin A. Boyd R. Brandt U. Breidbart S. BrownAB BrownDK Buchberger B. Büchi J.R. Bulitko V.K. Burkard E. Burris S. Buss S. Byerly R. E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.