DocumentCode
1992875
Title
Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory
fYear
1994
fDate
June 28 1994-July 1 1994
Abstract
The following topics were dealt with: complexity theory; set theory; satisfiability; NP hardness; NP completeness; search problems; complexity classes; and theorem proving
Keywords
computability; computational complexity; search problems; set theory; NP completeness; NP hardness; complexity classes; complexity theory; satisfiability; search problems; set theory; theorem proving;
fLanguage
English
Publisher
ieee
Conference_Titel
Structure in Complexity Theory Conference, 1994., Proceedings of the Ninth Annual
Conference_Location
Amsterdam, Netherlands
Print_ISBN
0-8186-5670-0
Type
conf
DOI
10.1109/SCT.1994.315824
Filename
315824
Link To Document