A new proof for undecidability of the bi-infinite post correspondence problem - UTU Tutkimustietojärjestelmä

A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

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

Tekijät: Halava V., Harju T., Sahla E.

Kustantaja: IOS Press

Julkaisuvuosi: 2017

Journal: Fundamenta Informaticae

Tietokannassa oleva lehden nimi: Fundamenta Informaticae

Vuosikerta: 154

Numero: 1-4

Aloitussivu: 167

Lopetussivu: 176

Sivujen määrä: 10

ISSN: 0169-2968

eISSN: 0169-2968