The Inference Problem for Template Dependencies

  • Yuri Gurevich ,
  • H. R. Lewis

Information and Control | , Vol 55: pp. 69-79

下载 BibTex

Answering a question of Jeffrey Ullman, we prove that the problem in the title is shown to be undecidable.