A Constructive Proof of Rice's Theorem and the Halting Problem

 (arxiv.org)

2 points | by measurablefunc 12 hours ago ago

No comments yet.