-
1
-
-
85028925878
-
Proof verification and hardness of approximation problems
-
Arora, S., Lund, C., Motwani, R., Sudan, M., and Szegedy, M. (1992), Proof verification and hardness of approximation problems, in "Proc. 33rd FOCS Conference," pp. 14-23.
-
(1992)
Proc. 33rd FOCS Conference
, pp. 14-23
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
0024138281
-
P-printable sets
-
Allender, E., and Rubinstein, R. (1988), P-printable sets, SIAM J. Comput. 17, 1193-1202.
-
(1988)
SIAM J. Comput.
, vol.17
, pp. 1193-1202
-
-
Allender, E.1
Rubinstein, R.2
-
4
-
-
84947914509
-
Measure in P: Robustness of the notion
-
"Proc. 20th Mathematical Foundations of Computer Science Conference," Springer, Berlin
-
Allender, E., and Strauss, M. (1995), Measure in P: Robustness of the notion, in "Proc. 20th Mathematical Foundations of Computer Science Conference," Lecture Notes in Computer Science, Vol. 969, pp. 129-138, Springer, Berlin.
-
(1995)
Lecture Notes in Computer Science
, vol.969
, pp. 129-138
-
-
Allender, E.1
Strauss, M.2
-
5
-
-
85028539051
-
Checking computations in polylogarithmic time
-
Babai, L., Fortnow, L., Levin, L., and Szegedy, M. (1991), Checking computations in polylogarithmic time, in "Proc, 23rd STOC Conference," pp. 21-31.
-
(1991)
Proc, 23rd STOC Conference
, pp. 21-31
-
-
Babai, L.1
Fortnow, L.2
Levin, L.3
Szegedy, M.4
-
6
-
-
85030038189
-
-
submitted for publication
-
Cai, J.-Y., Sivakumar, D., and Strauss, M. (1995), Constant-depth circuits and the Lutz hypothesis, submitted for publication.
-
(1995)
Constant-depth Circuits and the Lutz Hypothesis
-
-
Cai, J.-Y.1
Sivakumar, D.2
Strauss, M.3
-
7
-
-
0020848740
-
Computation times of NP sets of different densities
-
Hartmanis, J., and Yesha, Y. (1984), Computation times of NP sets of different densities, Theoret. Comput. Sci. 34, 17-32.
-
(1984)
Theoret. Comput. Sci.
, vol.34
, pp. 17-32
-
-
Hartmanis, J.1
Yesha, Y.2
-
8
-
-
0025682948
-
Category and measure in complexity classes
-
Lutz, J. (1990), Category and measure in complexity classes, SIAM J. Comput. 19, 1100-1131.
-
(1990)
SIAM J. Comput.
, vol.19
, pp. 1100-1131
-
-
Lutz, J.1
-
9
-
-
0026851355
-
Almost everywhere high nonuniform complexity
-
Lutz, J. (1992), Almost everywhere high nonuniform complexity, J. Comput. System Sci. 44, 220-258.
-
(1992)
J. Comput. System Sci.
, vol.44
, pp. 220-258
-
-
Lutz, J.1
-
10
-
-
0000923207
-
The quantitative structure of exponential time
-
(L. Hemaspaandra and A. Selman, Eds.), Springer-Verlag, Berlin, to appear
-
Lutz, J. (1996), The quantitative structure of exponential time, in "Complexity Theory Retrospective II" (L. Hemaspaandra and A. Selman, Eds.), Springer-Verlag, Berlin, to appear.
-
(1996)
Complexity Theory Retrospective II
-
-
Lutz, J.1
-
12
-
-
0347011778
-
-
Personal communication
-
Merkle, W. (1995), Personal communication.
-
(1995)
-
-
Merkle, W.1
-
13
-
-
0347642609
-
Pseudorandom Generators, Measure Theory, and Natural Proofs
-
Computer Science Dept., University at Buffalo
-
Regan, K., Sivakumar, D., and Cai, J.-Y. (1995), "Pseudorandom Generators, Measure Theory, and Natural Proofs," Technical Report UB-CS-TR 95-02, Computer Science Dept., University at Buffalo.
-
(1995)
Technical Report UB-CS-TR 95-02
-
-
Regan, K.1
Sivakumar, D.2
Cai, J.-Y.3
-
14
-
-
0029510687
-
Pseudorandom generators, measure theory, and natural proofs
-
IEEE Computer Society, Los Alamitos, CA
-
Regan, K., Sivakumar, D., and Cai, J.-Y. (1995), Pseudorandom generators, measure theory, and natural proofs, in "Proc. of the 36th FOCS Conference," pp. 26-35, IEEE Computer Society, Los Alamitos, CA.
-
(1995)
Proc. of the 36th FOCS Conference
, pp. 26-35
-
-
Regan, K.1
Sivakumar, D.2
Cai, J.-Y.3
|