Complexity of computations and proofs / edited by J. Krajicek
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Complexity of computations and proofs / edited by J. Krajicek
|
| Pubblicazione: | Roma, : Aracne, 2003 |
| Descrizione fisica: | 424 p. ; 22 cm |
| Soggetto topico: | 68-XX - Computer science [MSC 2020] |
| 03-XX - Mathematical logic and foundations [MSC 2020] | |
| 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] | |
| Persona (resp. second.): | Krajicek, Jan |
| Titolo autorizzato: | Complexity of computations and proofs |
| ISBN: | 978-88-7999-413-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0062774 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | http://www.aracneeditrice.it/pdf/8879994131.pdf |
| Opac: | Controlla la disponibilità qui |
Serie:
Quaderni di matematica / Dipartimento di Matematica della Seconda Università di Napoli Roma . -Aracne ; 13
Comprende:
Arithmetic circuits and counting complexity classes / Eric Allender Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 33-72.
Bounded arithmetic and constant depth Frege proofs / Samuel R. Buss Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 153-174.
Generating hard instances of lattice problems / Miklós Ajtai Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 1-32.
Homomorphic public-key cryptosystems over groups and rings / Dima Grigoriev and llia Ponomarenko Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 305-326.
Kolmogorov complexity and computational complexity / Lance Fortnow Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 229-248.
Pseudorandom sets and explicit constructions of Ramsey graphs / Pavel Pudlák and Vojtěch Rödl Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 327-346.
Some Applications of Coding Theory in Computational Complexity / Luca Trevisan.- Roma : Aracne, 2003 Estratto da: Quaderni di matematica, n. 13 : 2003 , p. 347-424.
Theories for complexity classes and their propositional translations / Stephen Cook Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 175-228.
Variations by complexity theorists on three themes of Euler, Bézout, Betti, and Poincaré / Peter Bürgisser and Felipe Cucker Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 73-152.
Zero-knowledge twenty years after its invention / Oded Goldreich Roma . -Aracne , 2003 Estratto da: Quaderni di matematica, n. 13 (2003), p. 249-304.