P, NP, and the Post correspondence problem
From MaRDI portal
Publication:1899905
DOI10.1006/inco.1995.1128zbMath0834.68033MaRDI QIDQ1899905
Arto Salomaa, Kai Salomaa, Sheng Yu, Alexandru Mateescu
Publication date: 14 November 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1128
DB lookup for MSC labels failed