• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Undecidability of Infinite Post Correspondence Problem for Instances of Size 9

Vesa Halava, Tero Harju, Undecidability of Infinite Post Correspondence Problem for Instances of Size 9. Theoretical Informatics and Applications 40, 551-557, 2006.

BibTeX entry:

@ARTICLE{jHaHa06a,
  title = {Undecidability of Infinite Post Correspondence Problem for Instances of Size 9},
  author = {Halava, Vesa and Harju, Tero},
  journal = {Theoretical Informatics and Applications},
  volume = {40},
  publisher = {EDP Sciences},
  pages = {551-557},
  year = {2006},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Edit publication