D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys

New Proof for the Undecidability of the Circular PCP

Tekijät: Halava Vesa, Harju Tero

Julkaisuvuosi: 2012

Journal: TUCS Publication Series

Vuosikerta: 159

Aloitussivu: 1

Lopetussivu: 19

Sivujen määrä: 19

ISBN: 978-952-12-2799-8

ISSN: 1239-1891

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