[Front cover]

fYear

2008

fDate

23-26 June 2008

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Complexity, 2008. CCC '08. 23rd Annual IEEE Conference on

Conference_Location

College Park, MD

ISSN

1093-0159

Print_ISBN

978-0-7695-3169-4

Type

conf

DOI

10.1109/CCC.2008.40

Filename

4558795

Link To Document