Does every recursively enumerable set admit a finite-fold Diophantine representation? / Cantone, Domenico; Casagrande, A.; Fabris, F.; Omodeo, Eugenio G.. - 2396:(2019), pp. 104-122. ((Intervento presentato al convegno Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019) tenutosi a Trieste, Italy nel June 19-21, 2019.
Titolo: | Does every recursively enumerable set admit a finite-fold Diophantine representation? | |
Autori interni: | ||
Data di pubblicazione: | 2019 | |
Serie: | ||
Handle: | http://hdl.handle.net/20.500.11769/382661 | |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.