Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo. Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, pages 104-122, CEUR-WS.org, 2019. [doi]
Abstract is missing.