A1 Refereed original research article in a scientific journal

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




AuthorsHalava V., Matiyasevich Y., Niskanen R.

PublisherIOS Press

Publication year2017

JournalFundamenta Informaticae

Journal name in sourceFundamenta Informaticae

Volume154

Issue1-4

First page 177

Last page184

Number of pages8

ISSN0169-2968

eISSN1875-8681

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




Last updated on 2024-26-11 at 14:38