Martin Davis. Diophantine Equations and Computation. In Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg, editors, Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings. Volume 5715 of Lecture Notes in Computer Science, pages 4-5, Springer, 2009. [doi]
Abstract is missing.