Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem

: Halava V

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

: 2013

: Lecture Notes in Computer Science

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

: Lecture Notes in Computer Science

: 8079

: 4

: 13

: 10

: 978-3-642-40578-5

: 978-3-642-40579-2

: 0302-9743

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