Non-definability of certain semantic properties of programs.

Richard A. DeMillo

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

semantic properties
computational properties
semantic knowledge
expressive power
decision trees
probabilistic model
logic programs