Decidability and undecidability of marked PCP

: Halava V, Hirvensalo. M, de Wolf R

: Meinel, Christoph; Tison, Sophie

: Symposium on Theoretical Aspects in Computer Science 1999

: 1999

: 16th Annual Symposium on Theoretical Aspects of Computer Science

: Lecture Notes in Computer Science

: 1563

: 207

: 216

: 10

: 978-3-540-65691-3