Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.

Cornelis Huizing Ruurd Kuiper Tom Verhoeff

Published in: Turing-100 (2012)

Keyphrases

formal specification
attribute grammars
logic programming
search engine
feature selection
image segmentation
face recognition
knowledge representation