• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Decidability and Undecidabilityof Marked PCP

Vesa Halava, Mika Hirvensalo, Ronald de Wolf, Decidability and Undecidabilityof Marked PCP. TUCS Technical Reports 201, Turku Centre for Computer Science, 1998.

Abstract:

http://www.tucs.fi/Publications/techreports/TR201.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tHaHide98a,
  title = {Decidability and Undecidabilityof Marked PCP},
  author = {Halava, Vesa and Hirvensalo, Mika and de Wolf, Ronald},
  number = {201},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1998},
  keywords = {decidability, undecidability, marked morphism, Post Correspondence Problem},
}

Edit publication