Vesa Halava, Yuri Matiyasevich, Reino Niskanen. Small Semi-Thue System Universal with Respect to the Termination Problem. Fundamenta Informaticae, 154(1-4):177-184, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.