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)