02644nam0 22004093i 450 SUN009349520151120101600.49820130423d2003 |0engc50 baengIT|||| |||||Bounded arithmetic and constant depth Frege proofsSamuel R. BussRoma : Aracne200321 cmEstratto da: Quaderni di matematica, n. 13 (2003), p. 153-174.Complexity of proofs [MSC 2010] 03F20MFSUNC020911Complexity of computation [MSC 2010] 03D15MFSUNC023630First-order arithmetic and fragments [MSC 2010] 03F30MFSUNC024401Cut-elimination and normal-form theorems [MSC 2010] 03F05MFSUNC024532Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15MFSUNC028792RomaSUNL000360Buss, Samuel R.SUNV04287052029AracneSUNV001104650ITSOL20181109RICASUN0093495UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7163 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7159 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7160 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7161 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7162 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207163CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207159CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207160CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207161CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207162CONS Estratto / 13caBounded arithmetic and constant depth Frege proofs1409004UNICAMPANIA