A1 Refereed original research article in a scientific journal

A new proof for undecidability of the bi-infinite post correspondence problem

Authors: Halava V., Harju T., Sahla E.

Publisher: IOS Press

Publication year: 2017

Journal: Fundamenta Informaticae

Journal name in source: Fundamenta Informaticae

Volume: 154

Issue: 1-4

First page : 167

Last page: 176

Number of pages: 10

ISSN: 0169-2968

eISSN: 0169-2968

DOI: https://doi.org/10.3233/FI-2017-1558