A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Small semi-thue system universal with respect to the termination problem

Tekijät: Halava V., Matiyasevich Y., Niskanen R.

Kustantaja: IOS Press

Julkaisuvuosi: 2017

Journal: Fundamenta Informaticae

Tietokannassa oleva lehden nimi: Fundamenta Informaticae

Vuosikerta: 154

Numero: 1-4

Aloitussivu: 177

Lopetussivu: 184

Sivujen määrä: 8

ISSN: 0169-2968

eISSN: 1875-8681

DOI: https://doi.org/10.3233/FI-2017-1559