Decidability and Undecidability of Marked PCP

Vesa Halava, Mika Hirvensalo, Ronald de Wolf. Decidability and Undecidability of Marked PCP. In Christoph Meinel, Sophie Tison, editors, STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings. Volume 1563 of Lecture Notes in Computer Science, pages 207-216, Springer, 1999. [doi]

Abstract

Abstract is missing.