2 ms·
Any paper recommendations on the bounded halting or the topic in general?
by Jhsto 6y ago
Any paper recommendations on the bounded halting or the topic in general?
- pron 6y agoI have a collection of results and links to relevant papers in this blog post: https://pron.github.io/posts/correctness-and-complexity https://pron.github.io/posts/correctness-and-complexity