top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Bounded arithmetic and constant depth Frege proofs / Samuel R. Buss
Bounded arithmetic and constant depth Frege proofs / Samuel R. Buss
Autore Buss, Samuel R.
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
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0093495
Buss, Samuel R.  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Theories for complexity classes and their propositional translations / Stephen Cook
Theories for complexity classes and their propositional translations / Stephen Cook
Autore Cook, Stephen
Edizione [Roma : Aracne]
Descrizione fisica Estratto da: Quaderni di matematica, n. 13 (2003), p. 175-228.
Soggetto topico Complexity of proofs [MSC 2010] 03F20
Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0093498
Cook, Stephen  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui