Jean-Yves Moyen, Jakob Grue Simonsen. More Intensional Versions of Rice's Theorem. In Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero, editors, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings. Volume 11558 of Lecture Notes in Computer Science, pages 217-229, Springer, 2019. [doi]
@inproceedings{MoyenS19, title = {More Intensional Versions of Rice's Theorem}, author = {Jean-Yves Moyen and Jakob Grue Simonsen}, year = {2019}, doi = {10.1007/978-3-030-22996-2_19}, url = {https://doi.org/10.1007/978-3-030-22996-2_19}, researchr = {https://researchr.org/publication/MoyenS19}, cites = {0}, citedby = {0}, pages = {217-229}, booktitle = {Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings}, editor = {Florin Manea and Barnaby Martin and Daniël Paulusma and Giuseppe Primiero}, volume = {11558}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-22996-2}, }