Search results

Freivalds R.V., Kinber E.B., Wiehagen R. [1982] Inductive interence and computable one-one numberings Z. math. Logik und Grundl. Math., 28 , № 5, 463-479 83.05.52 O article Вернуться к поиску

Freivalds R.V., Kinber E.B., Wiehagen R. [1984] Connections between identifying functionals, standardizing operations and computable numberings Z. math. Logik und Grundl. Math., 30, № 2, 145-164 ? O article Вернуться к поиску

Kinber E. B. [1977] On btt -degrees of sets of minimal numbers in Gödel numbering Z. math. Logik und Grundl. Math., 23 , № 3, 201-212 78.03.66 O article Вернуться к поиску

Cholak P., Downey R. G., Fortnow L. Gasarch W. I., Kinber E. B,, Kummer M., Kurtz S. A., Slaman T.A. [1992] Degrees of Inferability Proc. V Ann. Conf. Comp. Learning Theory, 180-192 ? article Вернуться к поиску

Fortnow L., Gasarch W. I., Jain S., Kinber E. B., Kummer M., Kurtz S. A., Pleszkoch M., Slaman T.A., Solovay R. M., Stephan F. [1994] Extremes in the degrees of inferability Ann. Pure Appl. Logic , 66, №.3, 231--276 ? O article Вернуться к поиску

K Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R. Kummer M. Kurtz S.A. Вернуться ...