Dispensa sulla dimostrazione del teorema DPR nella versione single-fold di Matiyasevich--Robinson
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 7_teoremaDPR.pdf