Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff. Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 168-180, EasyChair, 2012. [doi]

This author has not been identified. Look up 'Cornelis Huizing' in GoogleThis author has not been identified. Look up 'Ruurd Kuiper' in GoogleThis author has not been identified. Look up 'Tom Verhoeff' in Google

runs on WebDSL