A4 Refereed article in a conference publication
Decidability and undecidability of marked PCP
Authors: Halava V, Hirvensalo. M, de Wolf R
Editors: Meinel, Christoph; Tison, Sophie
Conference name: Symposium on Theoretical Aspects in Computer Science 1999
Publication year: 1999
Book title : 16th Annual Symposium on Theoretical Aspects of Computer Science
Series title: Lecture Notes in Computer Science
Volume: 1563
First page : 207
Last page: 216
Number of pages: 10
ISBN: 978-3-540-65691-3