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

Generalized PCP is Decidablefor Marked Morphisms

Vesa Halava, Tero Harju, Mika Hirvensalo, Generalized PCP is Decidablefor Marked Morphisms. TUCS Technical Reports 283, Turku Centre for Computer Science, 1999.

Abstract:

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

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tHaHaHi99a,
  title = {Generalized PCP is Decidablefor Marked Morphisms},
  author = {Halava, Vesa and Harju, Tero and Hirvensalo, Mika},
  number = {283},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1999},
  keywords = {decidability, marked morphism, generalized PostCorrespondence Problem, GPCP},
}

Edit publication