Informateci

Teorema di Rice (pag 70)
P incluso ed è proprio in EXP: corollario 3.4.3 (pag 163)
Teorema forma Normale (pag 46)
NP incluso EXP Teorema 3.3.6 (pag 156) + corollario 3.4.3 (pag 163)
Teorema 3.3.6(pag 156)
Teorema di Enumerazione (pag 47)
Teorema di Accelerazione lineare (pag 141)