A4 Refereed article in a conference publication

Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem

Authors: Halava V

Editors: J Karhumäki, A Lepistö, L Q Zamboni

Publication year: 2013

Journal: Lecture Notes in Computer Science

Book title : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Series title: Lecture Notes in Computer Science

Volume: 8079

First page : 4

Last page: 13

Number of pages: 10

ISBN: 978-3-642-40578-5

eISBN: 978-3-642-40579-2

ISSN: 0302-9743

DOI: https://doi.org/10.1007/978-3-642-40579-2_3