ARTICLE

doi:10.20944/preprints201709.0127.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
DavisPutnan RobinsonMatiyasevich theorem; Diophantine equation which has at most finitely many solutions in nonnegative integers; Diophantine equation which has at most finitely many solutions in positive integers; Diophantine equation which has at most finitely many integer solutions; Hilbert’s Tenth Problem; Matiyasevich’s theorem; recursively enumerable set; Smoryński’s theorem
Online: 27 September 2017 (04:05:45 CEST)