A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Post Correspondence Problem and Small Dimensional Matrices
Tekijät: Harju T
Julkaisuvuosi: 2009
Lehti:: Lecture Notes in Computer Science
Tietokannassa oleva lehden nimi: DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS
Lehden akronyymi: LECT NOTES COMPUT SC
Vuosikerta: 5583
Aloitussivu: 39
Lopetussivu: 46
Sivujen määrä: 8
ISBN: 978-3-642-02736-9
ISSN: 0302-9743
Tiivistelmä
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).
Turun yliopiston Tutkimustietojärjestelmän portaali