Yuri V. Matiyasevich. Martin Davis and Hilbert's Tenth Problem. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 35-54, Springer, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.