Small Semi-Thue System Universal with Respect to the Termination Problem

Autor:	Vesa Halava, Yuri Matiyasevich, Reino Niskanen
Rok vydání:	2017
Předmět:	Discrete mathematics Algebra Algebra and Number Theory Computational Theory and Mathematics Semi-Thue system Termination problem Information Systems Theoretical Computer Science Mathematics
Zdroj:	Fundamenta Informaticae. 154:177-184
ISSN:	1875-8681 0169-2968
DOI:	10.3233/fi-2017-1559
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e80b1f4048ec76e8c511d5fe64fed1c0 https://doi.org/10.3233/fi-2017-1559 Zobrazit plný text záznamu Plný text ve formátu PDF