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
Ditchev A.V. [2007] Exact enumeration Докл. Бълг. АН, 60, № 1, 5-8 09.03.45 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ditchev A.V. [1989] On the effective enumerations of partial structures Ann.Univ. Sofia Fac. Math., Inform., 1989 (1992), 83, 29-37 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ditchev A.V. [2000] Characterization of the structures which admit effective enumeration Ann. Univ. Sofia Fac. Math., Inform., 2000, 92, 7-16 06.10.70 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ditchev A.V. [1991] Effective enumerations of families of finite sets of natural numbers Z. math. Logik und Grundl. Math., 37, № 4, 301-306 92.10.44 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ditchev A.V. [1991] Examples of structures which do not admit recursive presentations Ann.Univ. Sofia Fac. Math., Inform., 1991 (1993), 85, 3-11 95.10.37 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ditchev A.V. [2004] Some results on the upper-semilattice of r.e. m -degrees inside a single r.e. tt -degrees Ann.Univ. Sofia Fac. Math., Inform., 2004, 96, 23-34 06.05.72 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.