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
Dobritsa V. P. [1998] Computable classes of constructive models Handbook of Recursive Mathematics, v.1, 183-233,Elsevier ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Dobritsa V. P. [1996] An example of an unconstructivizable semilattice of computable numberings Proc. 3 Inter. Conf. on Algebra (Krasnoyarsk, 1993), Walter de Gruyter, 45-48 00.08.46 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.D Daley R.P. Dańko W. Davey K. Davis M. Dawes A.M. Degtev A.N. Dekker J.C.E. Demuth O. Dennis-Jones E.G. Di Paola R.A. Dietzfelbinger M. Ding Decheng Ditchev A.V. Dobrinen N. Dobritsa V. P. Doner J. Dougherty R. Downey R. Dreben B. Driscoll G. C. Jr. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.