Abstract :
The following topics are dealt with: computational complexity; communication complexity; quantum computing; proof systems; theorem proving.
Keywords :
computational complexity; theorem proving; communication complexity; computational complexity; proof systems; quantum computing; theorem proving;
Conference_Titel :
Computational Complexity, 2008. CCC '08. 23rd Annual IEEE Conference on
Conference_Location :
College Park, MD
Print_ISBN :
978-0-7695-3169-4
DOI :
10.1109/CCC.2008.40
