New Proof for the Undecidability of the Circular PCP

: Halava Vesa, Harju Tero

: 2012

: TUCS Publication Series

: 159

: 1

: 19

: 19

: 978-952-12-2799-8

: 1239-1891

: http://tucs.fi/publications/view/?pub_id=tHaHa12b