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

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

Publisher: IOS Press

: 2017

: Fundamenta Informaticae

: Fundamenta Informaticae

: 154

: 1-4

: 177

: 184

: 8

: 0169-2968

: 1875-8681

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