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

Ambos-Spies K. [1999] Polynomial time reducibilities and degrees Handbook of Computability Theory, Elsevier, 683-705 ? article Вернуться к поиску

Ambos-Spies K. [1985] Sublattices of the polynomial time degrees Inform. and Control, 65, № 1, 63-84 86.Г12.30 article Вернуться к поиску

Ambos-Spies K. [1984] Contiguous r.e. degrees Lect. Notes in Math.,1104, 1-37, Springer -Verlag 85.08.53 OS article Вернуться к поиску

Ambos-Spies K. [1984] P -mitotic sets Lect. Notes in Comp. Sci., 171, 1-23, Springer -Verlag 85.Г2.23 article Вернуться к поиску

Ambos-Spies K. [1999] Polynomial-time degrees Handbook of Computability Theory, Elsevier, 679-703 ? O article Вернуться к поиску

Ambos-Spies K. [1996] Resource-bounded genericity London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 1-59 ? article Вернуться к поиску

Ambos-Spies K. [1995] Resource-bounded genericity IEEE Comp. Sci. Press, 162-181 ? article Вернуться к поиску

Ambos-Spies K. [1984] P -generic sets Lect. Notes in Comp. Sci., 172, 58-68, Springer-Verlag 85.Г3.27 article Вернуться к поиску

Ambos-Spies K. [1986] Ramdomness, relativizations, and polynomial reducibilities Lect. Notes in Comp. Sci.,223, 23-34, Springer-Verlag ? article Вернуться к поиску

Ambos-Spies K. [1987] Minimal pairs for polynomial time reducibilities Lect. Notes in Comp. Sci., 270, 1-13, Springer-Verlag ? O article Вернуться к поиску

Ambos-Spies K. [1987] Polynomial time degrees of NP sets Trend Theor. Comput. Sci., Comput. Sci. Press, 95-142 ?; O article Вернуться к поиску

Ambos-Spies K., Kučera A. [2000] Randomness in computability theory Contemporary Math., 257, 1-14 01.ВН12.58 article Вернуться к поиску

Ambos-Spies K. Cooper S.B., Lempp S. [1998] Initial segments of recursive linear orders Order, 14, № 2, 101-105 ? article Вернуться к поиску

Ambos-Spies K., Lempp S., Soare R.I. ? Intervals of recursively enumerable degrees to appear ? article Вернуться к поиску

Ambos-Spies K., Lempp S., Slaman T.A. ? Generating sets for the recursively enumerable Turing degrees ? ? article Вернуться к поиску

Ambos-Spies K., Kjos-Hanssen B., Lempp S., Slaman T.A. [2004] Comparing DNR and WWKL J. Symbolic Logic, 69, № 4, 1089-1104 ? article Вернуться к поиску

Ambos-Spies K. [1985] Antimitotic recursively enumerable degrees Z. math. Logik und Grundl. Math., 31, № 5, 461-477 86.05.73 OS article Вернуться к поиску

Ambos-Spies K. [1986] A note on complete problems for complexity classes Inf. Process. Letters, 23, № 5, 227-230 87.ВН5.28 article Вернуться к поиску

Ambos-Spies K. [1986] An inhomogeneity in the structure of Karp degrees SIAM J. Comp., 15, № 4, 958-963. 87.Б3.1128 article Вернуться к поиску

Ambos-Spies K., Bentzien L. [2000] Separating NP -completeness notions under strong hypotheses J. Comp. and System Sci., 61 № 3, 335-361 ? O article Вернуться к поиску

Ambos-Spies K., Fejer P.A. [2001] Embedding of N 5 and the contiguous degrees. Ann. Pure Appl. Logic, 112, № 2-3, 151-188 ? O article Вернуться к поиску

Ambos-Spies K., Homer S., Soare R.I. [1994] Minimal pairs and complete problems Theor. Comput. Sci., 132, № 1-2, 229-241 ? O article Вернуться к поиску

Ambos-Spies K., Lachlan A.H., Soare R.I. [1993] The continuity of cupping to 0 / Ann. Pure Appl. Logic, 64, № 3, 195-209 ? article Вернуться к поиску

Ambos-Spies K. [1984] On pairs of recursively enumerable degrees Trans. Amer. Math. Soc., 283, № 2, 507-531 85.05.57 OS article Вернуться к поиску

Ambos-Spies K. [1995] On optimal time approximations: P -levelability vs. Δ levelability Lect. Notes in Comp.Sci.,944, 384-392, Springer-Verlag ? article Вернуться к поиску

Ambos-Spies K. [1989] Honest polynomial time reducibilities and the P =? NP problem J. Comp. and System Sci., 39, № 3, 250-281 90.ВН6.40 O article Вернуться к поиску

Ambos-Spies K. [1985] Generators of the recursively enumerable degrees Lect. Notes in Math., 1141, 1-28, Springer-Verlag 86.04.44 OS article Вернуться к поиску

Ambos-Spies K. [2000] Measure theoretic completeness notions for the exponential time classes Lect. Notes in Comp. Sci.,1893, 152-161, Springer-Verlag ? article Вернуться к поиску

Ambos-Spies K., Lerman M. [1986] Lattice embedding into the recursively enumerable degrees J. Symbolic Logic, 51, № 2 , 257-272 86.12.66 OS article Вернуться к поиску

Ambos-Spies K., Lerman M. [1989] Lattice embeddings into the recursively enumerable degrees, II J. Symbolic Logic, 54, № 3, 735-760 90.11.40 O article Вернуться к поиску

Ambos-Spies K., Shore R.A. [1993] Undecidability and 1-types in the recursively enumerable degrees Ann. Pure Appl. Logic, 24, № 1, 3-37 ? OS article Вернуться к поиску

Ambos-Spies K. [1986] Inhomogeneities in the polynomial-time degrees: the degrees of supersparse sets Inf. Process. Letters, 22, № 3, 113-117 86.Г8.308 O article Вернуться к поиску

Ambos-Spies K., Nies A. [1992] Cappable recursively enumerable degrees and Post's program Arch. Math. Logik Grundl., 32, № 1, 51-56 94.01.41 O article Вернуться к поиску

Ambos-Spies K.,Badaev S.A., Goncharov S.S. [2008] Inductive inference and computable numberings Mathematical Structures in Computer Science, Cambridge Press, to appear article Вернуться к поиску

Ambos-Spies K., Soare R.I. [1989] The recursively enumerable degrees have infinitely many-one types Ann. Pure Appl. Logic, 44, № 1-2 , 1-23 ? OS article Вернуться к поиску

Ambos-Spies K., Fejer P.A. [1988] Degree theoretical splitting properties of recursively enumerable sets J. Symbolic Logic, 53, № 4, 1110-1137 89.12.79 SO article Вернуться к поиску

Ambos-Spies K., Homer S., Soare R.I. [1990] Minimal pairs and complete problems Lect. Notes in Comp.Sci, 415, 24-36, Springer -Verlag ? O article Вернуться к поиску

Ambos-Spies K., Neis H.C., Terwijn S.A. [1996] Genericity and measure for exponential time Theor. Comput. Sci., 168, № 1, 3-19 98.ВН3.68 article Вернуться к поиску

Ambos-Spies K., Badaev S.A., Goncharov S.S. [2008] On a question of Frank Stephan Lect. Notes in Comp.Sci, 4978, 423-432, Springer -Verlag ? article Вернуться к поиску

Ambos-Spies K., Hirschfeldt D.R., Shore R.A. [2000] Undecidability and 1-types in intervals of the c. e. degrees Ann. Pure Appl. Logic, 106, № 1, 1-47 ? S article Вернуться к поиску

Ambos-Spies K., Merkle W., Reimann J., Terwijn S.A. [2003] Almost complete sets Theor. Comput. Sci., 306, № 1-3, 177-194 05.ВН5.143 ? article Вернуться к поиску

Ambos-Spies K. [1984] An extension of the non-diamond theorem in classical and α-recursion theory J. Symbolic Logic, 49, № 2, 586-607 85.01.54 OS article Вернуться к поиску

Ambos-Spies K. [1985] Cupping and noncapping in the r.e.weak truth table and Turing degrees Arch. Math. Logik Grundl., 25, № 3-4, 109-126 ? OS article Вернуться к поиску

Ambos-Spies K., Lempp S., Lerman M. [1994] Lattice embeddings into the r. e. degrees preserving 0 and 1 J. London Math. Soc., 49, № 1, 1-15 94.10.123 O article Вернуться к поиску

Ambos-Spies K., Fleischhack H., Huwig H. [1987] Diagonalizations over polynomial time computable sets Theor. Comput. Sci., 51, № 1-2, 177-204 88.Г2.328 article Вернуться к поиску

Ambos-Spies K., Terwijn S.A., Zheng Xizhong [1997] Resource bounded randomness and weakly complete problems Theor. Comput. Sci., 172, № 1-2, 195-207 ? article Вернуться к поиску

Ambos-Spies K., Bentzien L., Fejer P.A., Merkle W., Stephan F. [1998] Collapsing polynomial-time degrees Lect. Notes in Logic., 13, 1-24, Springer -Verlag ? article Вернуться к поиску

Ambos-Spies K. [1984] On the structure of the polynomial time degrees Lect. Notes in Comp.Sci.,166, 198-208, Springer-Verlag 84.11.18 OS article Вернуться к поиску

Ambos-Spies K. [1985] On the relative complexity of subproblems of intractable problems Lect. Notes in Comp. Sci., 182, 1-12, Springer-Verlag 87.ВН5.29 article Вернуться к поиску

Ambos-Spies K. [1989] On the relative complexity of hard problems for complexity classes without complete problems Theor. Comput. Sci., 63, № 1. 43-61 89.Г8.187 article Вернуться к поиску