Another proof of undecidability for the correspondence decision problem - Had I been Emil Post
: Halava Vesa
Publisher: Cornell University Library
: 2014
arXiv.org
: http://arxiv.org/abs/1411.5197
UTU Research Portal
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post
: Halava Vesa
Publisher: Cornell University Library
: 2014
arXiv.org
: http://arxiv.org/abs/1411.5197