TY  - BOOK
ED  - IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
ED  - IEEE conference on computational complexity
ED  - ACM SIGACT.
ED  - EATCS.
TI  - Proceedings of fifteenth annual IEEE conference on computational complexity
SN  - 0769506747
U1  - 511.3 23
PY  - 2000///
CY  - Los Alamitos, California
PB  - IEEE Computer Society
KW  - Computational complexity
KW  - Congresses.
KW  - Nonlinear boundary value problems
KW  - Polynomials
KW  - Isomorphisms (Mathematics)
KW  - Congresses
KW  - Computers -- Circuits
N2  - This volume includes 30 papers presented at the July 2000 conference. All areas of computational complexity are examined, including time-space tradeoffs and lower bounds, phase transitions, the SAT problem, PSPACE-completion, determinism, and Kolmogorov complexity
ER  -