First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes
暂无分享,去创建一个
[1] N. M. Nagorny,et al. The Theory of Algorithms , 1988 .
[2] Patrick Suppes,et al. Logic, Methodology and Philosophy of Science , 1963 .
[3] Stephen A. Cook,et al. Review: Alan Cobham, Yehoshua Bar-Hillel, The Intrinsic Computational Difficulty of Functions , 1969 .
[4] Stephen A. Cook,et al. A Taxonomy of Problems with Fast Parallel Algorithms , 1985, Inf. Control..
[5] David A. Mix Barrington,et al. Bounded-width polynomial-size branching programs recognize exactly those languages in NC1 , 1986, STOC '86.
[6] Samuel R. Buss. Polynomial Size Proofs of the Propositional Pigeonhole Principle , 1987, J. Symb. Log..
[7] Neil Immerman,et al. Expressibility and Parallel Complexity , 1989, SIAM J. Comput..
[8] P. Clote. Sequential, machine-independent characterizations of the parallel complexity classes AlogTIME, AC k , NC k and NC , 1990 .
[9] Neil Immerman,et al. On Uniformity within NC¹ , 1990, J. Comput. Syst. Sci..
[10] M. Ajtai. Parity and the Pigeonhole Principle , 1990 .
[11] Bill Allen,et al. Arithmetizing Uniform NC , 1991, Ann. Pure Appl. Log..
[12] G. Takeuti. A second order version of S 2 i and U 2 1 , 1991, Journal of Symbolic Logic.
[13] Jan Krajícek,et al. Exponential Lower Bounds for the Pigeonhole Principle , 1992, STOC.
[14] Peter Clote,et al. Bounded Arithmetic for NC, ALogTIME, L and NL , 1992, Ann. Pure Appl. Log..
[15] P. Clote,et al. Arithmetic, proof theory, and computational complexity , 1993 .