Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator

Autor:	Murwanashyaka, Juvenal
Zdroj:	Murwanashyaka, Juvenal . Hilbert's Tenth Problem for Term Algebras with a Substitution Operator. Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings. 2022, 196-207 Springer Nature
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	http://hdl.handle.net/10852/94701 https://www.duo.uio.no/bitstream/handle/10852/94701/1/Murwanashyaka_Hilberts10thProblem.pdf Zobrazit plný text záznamu