A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem

Tekijät: Halava V

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

Julkaisuvuosi: 2013

Journal: Lecture Notes in Computer Science

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

Sarjan nimi: Lecture Notes in Computer Science

Vuosikerta: 8079

Aloitussivu: 4

Lopetussivu: 13

Sivujen määrä: 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