D4 Published development or research report or study

New Proof for the Undecidability of the Circular PCP

Authors: Halava Vesa, Harju Tero

Publication year: 2012

Journal: TUCS Publication Series

Volume: 159

First page : 1

Last page: 19

Number of pages: 19

ISBN: 978-952-12-2799-8

ISSN: 1239-1891

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