You are here: TUCS > PUBLICATIONS > Publication Search > Generalized Post Correspondenc...
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},
}