Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines

Publisher Website
Google Scholar
Abstract
No abstract available