Bounded arithmetic and constant depth Frege proofs / Samuel R. Buss

• Autore: Buss, Samuel R.
• Pubblicazione: 21 cm
• Edizione: Roma : Aracne
• Descrizione fisica: Estratto da: Quaderni di matematica, n. 13 (2003), p. 153-174.
• Soggetto topico: Complexity of proofs [MSC 2010] 03F20; Complexity of computation [MSC 2010] 03D15; First-order arithmetic and fragments [MSC 2010] 03F30; Cut-elimination and normal-form theorems [MSC 2010] 03F05; Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15
• Titolo autorizzato: Bounded arithmetic and constant depth Frege proofs
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0093495
• Lo trovi qui: Univ. Vanvitelli