Post Correspondence Problem and Small Dimensional Matrices

Tero Harju. Post Correspondence Problem and Small Dimensional Matrices. In Volker Diekert, Dirk Nowotka, editors, Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings. Volume 5583 of Lecture Notes in Computer Science, pages 39-46, Springer, 2009. [doi]

Abstract

Abstract is missing.