02425nam0 22003733i 450 SUN009349820151120101600.49820130423d2003 |0engc50 baengIT|||| |||||Theories for complexity classes and their propositional translationsStephen CookRoma : Aracne200321 cmEstratto da: Quaderni di matematica, n. 13 (2003), p. 175-228.Complexity of proofs [MSC 2010] 03F20MFSUNC020911Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15MFSUNC028792RomaSUNL000360Cook, StephenSUNV07506151873AracneSUNV001104650ITSOL20181109RICASUN0093498UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7169 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7173 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7170 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7171 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7172 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207169CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207173CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207170CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207171CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207172CONS Estratto / 13caTheories for complexity classes and their propositional translations1409007UNICAMPANIA