Библиография Лаврова И.А.

Ditchev A.V. [2007] Exact enumeration Докл. Бълг. АН, 60, № 1, 5-8 09.03.45 article Вернуться к поиску

Ditchev A.V. [1989] On the effective enumerations of partial structures Ann.Univ. Sofia Fac. Math., Inform., 1989 (1992), 83, 29-37 ? article Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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. Вернуться на главную страницу