The Inference Problem for Template Dependencies
- Yuri Gurevich ,
- H. R. Lewis
Information and Control | , Vol 55: pp. 69-79
Answering a question of Jeffrey Ullman, we prove that the problem in the title is shown to be undecidable.
Information and Control | , Vol 55: pp. 69-79
Answering a question of Jeffrey Ullman, we prove that the problem in the title is shown to be undecidable.