Where academic tradition
meets the exciting future

Some New Results in Post Correspondence Problem and Its Modifications

Vesa Halava, Tero Harju, Some New Results in Post Correspondence Problem and Its Modifications. Bulletin of the EATCS (73), 131-141, 2001.

BibTeX entry:

@ARTICLE{jHaHab,
  title = {Some New Results in Post Correspondence Problem and Its Modifications},
  author = {Halava, Vesa and Harju, Tero},
  journal = {Bulletin of the EATCS},
  number = {73},
  pages = {131-141},
  year = {2001},
}

Edit publication