04149nam0 2200469 i 450 VAN006277420240214103630.570978-88-7999-413-220080130d2003 |0itac50 baengIT|||| |||||Complexity of computations and proofsedited by J. KrajicekRomaAracne2003424 p.22 cm001VAN00546202001 Quaderni di matematicaDipartimento di Matematica della Seconda Università di Napoli210 RomaAracne13001VAN00934882001 Arithmetic circuits and counting complexity classesEric Allender210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 33-72.001VAN00934952001 Bounded arithmetic and constant depth Frege proofsSamuel R. Buss210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 153-174.001VAN00934922001 Generating hard instances of lattice problemsMiklós Ajtai210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 1-32.001VAN00934902001 Homomorphic public-key cryptosystems over groups and ringsDima Grigoriev and llia Ponomarenko210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 305-326.001VAN00934962001 Kolmogorov complexity and computational complexityLance Fortnow210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 229-248.001VAN00934942001 Pseudorandom sets and explicit constructions of Ramsey graphsPavel Pudlák and Vojtěch Rödl210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 327-346.001VAN00934822001 Some Applications of Coding Theory in Computational ComplexityLuca Trevisan.- RomaAracne, 2003210 Estratto da: Quaderni di matematica, n. 132003p. 347-424.001VAN00934982001 Theories for complexity classes and their propositional translationsStephen Cook210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 175-228.001VAN00934862001 Variations by complexity theorists on three themes of Euler, Bézout, Betti, and Poincaré Peter Bürgisser and Felipe Cucker210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 73-152.001VAN00934892001 Zero-knowledge twenty years after its inventionOded Goldreich210 RomaAracne2003215 Estratto da: Quaderni di matematica, n. 13 (2003), p. 249-304.68-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF00B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MFRomaVANL000360KrajicekJanVANV041836Aracne <editore>VANV108757650ITSOL20240216RICAhttp://www.aracneeditrice.it/pdf/8879994131.pdfhttp://www.aracneeditrice.it/pdf/8879994131.pdfVAN0062774BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 13 08 6976 20080207 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 13 08 6977 20080207 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 13 08 6978 20080207 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 13 08 6979 20080207 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 13 08 6980 20080130 Complexity of computations and proofs1415818UNICAMPANIA