B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä

Another proof of undecidability for the correspondence decision problem - Had I been Emil Post

Tekijät: Halava Vesa

Kustantaja: Cornell University Library

Julkaisuvuosi: 2014

Journal: arXiv.org

Verkko-osoite: http://arxiv.org/abs/1411.5197