01917oam 2200457zu 450 991014653740332120241212215242.09781538603185153860318710.1109/CCC10690.2005(CKB)1000000000021988(SSID)ssj0000452005(PQKBManifestationID)12191880(PQKBTitleCode)TC0000452005(PQKBWorkID)10464198(PQKB)11536041(NjHacI)991000000000021988(EXLCZ)99100000000002198820160829d2005 uy engur|||||||||||txtccrCCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 2005/San Jose, CA)[Place of publication not identified]IEEE Computer Society Press20051 online resource illustrationsBibliographic Level Mode of Issuance: Monograph9780769523644 0769523641 This annual conference seeks original research papers in all areas of computational complexity theory. The proceedings also encompasses results from other areas of computer science and mathematics motivated by topics in complexity theory. The 30 papers in CCC 2005 has a broad focus on computational complexity while exploring topics such as complexity classes, algebraic complexity, proof complexity, interactive proof systems, Kolmogorov complexity, reducibility, communication complexity, complexity and logic.Logic programmingCongressesLogic programmingLogic programmingLogic programming.005.115PQKBPROCEEDING9910146537403321CCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 20052410550UNINA