论文信息 - Rice's Theorem - 字舞流文

Rice's Theorem

Hans Huttel | H. Huttel

[1] Michael Sipser,et al. Introduction to the Theory of Computation , 1996, SIGA.

[2] H. Rice. Classes of recursively enumerable sets and their decision problems , 1953 .