Turlough Neary: Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words. In: 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015) (= Leibniz International Proceedings in Informatics (LIPIcs)). Band30. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2015, ISBN 978-3-939897-78-1, S.649–661, doi:10.4230/LIPIcs.STACS.2015.649 (dagstuhl.de [abgerufen am 18. Februar 2019]).
doi.org
Turlough Neary: Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words. In: 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015) (= Leibniz International Proceedings in Informatics (LIPIcs)). Band30. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2015, ISBN 978-3-939897-78-1, S.649–661, doi:10.4230/LIPIcs.STACS.2015.649 (dagstuhl.de [abgerufen am 18. Februar 2019]).