You are here: TUCS > PUBLICATIONS > Publication Search > Marked PCP is decidable
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Marked PCP is decidable
Vesa Halava, Mika Hirvensalo, Ronald de Wolf, Marked PCP is decidable. Theoret. Comput. Sci. 255(1), 193-204, 2001.
BibTeX entry:
@ARTICLE{jHaHidea,
title = {Marked PCP is decidable},
author = {Halava, Vesa and Hirvensalo, Mika and de Wolf, Ronald},
journal = {Theoret. Comput. Sci.},
volume = {255},
number = {1},
pages = {193-204},
year = {2001},
keywords = {Marked Post Correspondence Problem, decidability, undecidability},
}