Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?

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]

Authors

Domenico Cantone

This author has not been identified. Look up 'Domenico Cantone' in Google

Alberto Casagrande

This author has not been identified. Look up 'Alberto Casagrande' in Google

Francesco Fabris

This author has not been identified. Look up 'Francesco Fabris' in Google

Eugenio G. Omodeo

This author has not been identified. Look up 'Eugenio G. Omodeo' in Google