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(external)
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(external)