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},
}