A1 Refereed original research article in a scientific journal

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

Authors: Halava V., Matiyasevich Y., Niskanen R.

Publisher: IOS Press

Publication year: 2017

Journal: Fundamenta Informaticae

Journal name in source: Fundamenta Informaticae

Volume: 154

Issue: 1-4

First page : 177

Last page: 184

Number of pages: 8

ISSN: 0169-2968

eISSN: 1875-8681

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