Formalization of the Computational Theory of a Turing Complete Functional Language Model

Autor:	Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón
Rok vydání:	2022
Předmět:	Computational Theory and Mathematics Artificial Intelligence Software
Zdroj:	Journal of Automated Reasoning. 66:1031-1063
ISSN:	1573-0670 0168-7433
DOI:	10.1007/s10817-021-09615-x
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::8a307b6a048ccc8c132dd22e982f9d2f https://doi.org/10.1007/s10817-021-09615-x Zobrazit plný text záznamu Full text from SpringerLink