Where academic tradition
meets the exciting future

Generalized Post Correspondence Problem is decidable for marked morphisms

Vesa Halava, Tero Harju, Mika Hirvensalo, Generalized Post Correspondence Problem is decidable for marked morphisms. Internat. J. Algebra Comput. 10(6), (757-772), 2000.

BibTeX entry:

@ARTICLE{jHaHaHia,
  title = {Generalized Post Correspondence Problem is decidable for marked morphisms},
  author = {Halava, Vesa and Harju, Tero and Hirvensalo, Mika},
  journal = {Internat. J. Algebra Comput.},
  volume = {10},
  number = {6},
  pages = {(757-772)},
  year = {2000},
}

Edit publication