Teorema de Rice-Shapiro

21 outubro 2008, 15:30 Amilcar Sernadas

Conclusão da aula anterior.

Teorema de Rice-Shapiro, corolários e exemplos de aplicação.