Decidability and Undecidability of Marked PCP.

Vesa Halava, Mika Hirvensalo, Ronald de Wolf

Browse the full STACS paper archive.