A1 Refereed original research article in a scientific journal
Post Correspondence Problem and Small Dimensional Matrices
Authors: Harju T
Publication year: 2009
Journal:: Lecture Notes in Computer Science
Journal name in source: DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS
Journal acronym: LECT NOTES COMPUT SC
Volume: 5583
First page : 39
Last page: 46
Number of pages: 8
ISBN: 978-3-642-02736-9
ISSN: 0302-9743
Abstract
This is a survey on some undecidable problems on integer matrices. The proofs of these results employ special instances, called Claus instances, of the Post Correspondence Problem. The presentation is based on the article Halava et al. "Undecidability bounds for integer matrices using Claus instances" (Internat. J. Foundations of Comput. Sci. 18, 2007, 931-948).
This is a survey on some undecidable problems on integer matrices. The proofs of these results employ special instances, called Claus instances, of the Post Correspondence Problem. The presentation is based on the article Halava et al. "Undecidability bounds for integer matrices using Claus instances" (Internat. J. Foundations of Comput. Sci. 18, 2007, 931-948).
UTU Research Portal