Weak Sequential Theories of Finite Full Binary Trees

Autor:	Murwanashyaka, Juvenal
Zdroj:	Murwanashyaka, Juvenal . Weak Sequential Theories of Finite Full Binary Trees. Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings. 2022, 208-219 Springer Nature
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	http://hdl.handle.net/10852/94700 https://www.duo.uio.no/bitstream/handle/10852/94700/1/Murwanashyaka_WeakSequentialTheories.pdf Zobrazit plný text záznamu