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

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

Publisher: IOS Press

: 2017

: Fundamenta Informaticae

: Fundamenta Informaticae

: 154

: 1-4

: 167

: 176

: 10

: 0169-2968

: 0169-2968

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