A second step towards complexity-theoretic analogs of Rice's Theorem

From MaRDI portal
Publication:1575716