Decidability and undecidability of marked PCP

1999

Presented at the International Symposium on Theoretical Aspects of Computer Science, Trier

Additional Metadata
MSC	Undecidability and degrees of sets of sentences (msc 03D35), Decidability of theories and sets of sentences (msc 03B25), Thue and Post systems, etc. (msc 03D03)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Symposium on Theoretical Aspects of Computer Science
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Halava, V., Hirvensalo, M., & de Wolf, R. (1999). Decidability and undecidability of marked PCP. In Proceedings of International Logic Colloquium 1996 (pp. 207–216). Springer.

Publication