Search results

Kummer M. [1992] A proof of Beigel's cardinality conjecture J. Symbolic Logic, 57, № 2, 677-681 93.04.54 article Вернуться к поиску

Kummer M. [1990] Recursive numerations without repetition revisited Lect. Notes in Math., 1432, 255-275, Springer-Verlag ? article Вернуться к поиску

Kummer M. [1991] Diagonals and semihyperhypersimple sets J. Symbolic Logic, 56, № 3, 1068-1074 92.05.56 article Вернуться к поиску

Kummer M. [1989] Numbering of R 1 ∪ F Lect. Notes in Comp. Sci., 385, 166-186, Springer -Verlag ? O article Вернуться к поиску

Kummer M. [1990] Some applications of computable one-one numberings Arch. Math. Logik Grundl., 30, № 4, 219-230 ? article Вернуться к поиску

Kummer M. [1989] A note on direct sums of Friedbergnumberings J. Symbolic Logic, 54, № 3, 1009-1010 90.09.43 article Вернуться к поиску

Herrmann E., Kummer M. [1994] Diagonals and D -maximal sets J. Symbolic Logic, 59, № 1, 60-72 95.07.49 article Вернуться к поиску

Kummer M. [1987] Negative results about the length problem Lect.Notes in Comp. Sci.,270, 237-248, Springer -Verlag ? article Вернуться к поиску

Kummer M. [1993] Degrees of unsolvability in abstract complexity theory Complexity Theory. Current research, Cambridge Univ. Press, 227-243 ? O article Вернуться к поиску

Kummer M., Stephan F. [1996] On the structure of degrees of inferability J. Comp. and System Sci., 52, № 2, 214-238 ? O article Вернуться к поиску

Kummer M. [1995] Kolmogorov complexity and instance complexity of recursively enumerable sets SIAM J. Comput., 25, № 6, 1123-1143 97.ВН9.103 article Вернуться к поиску

Kummer M. [1990] An easy priority-free proof of a theorem of Friedberg Theor. Comp. Sci., 74, № 2, 249-251 91.ВН3.53 O article Вернуться к поиску

Kummer M. [1988] The length problem for co-recursively enumerable sets Z. math. Logik und Grundl. Math., 34 , № 3, 277-282 89.01.31 article Вернуться к поиску

Kummer M., Stephan F. [1995] Recursive theoretic properties frequency computation and bounded queries Inform. Comput., 120, № 1, 59-77 96.ВН4.107 article Вернуться к поиску

Harizanov V. S., Kummer M., Owings J. C. [1992] Frequency computations and the cardinality theorem J. Symbolic Logic, 57, № 2, 682-687 93.04.55 article Вернуться к поиску

Kummer M., Stephan F. [1993] Weak semirecursive sets and recursively enumerable ordering Ann. Pure Appl. Logic, 60, № 2, 133-150 94.05.79 article Вернуться к поиску

Beigel R.J., Gasarch W.I., Kummer M., Martin G., McNicholl T., Stephan F. [2000] The complexity of Odd n A J. Symbolic Logic, 65, № 1, 1-18 01.09.55 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 Вернуться к поиску

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