University of Calgary

Proof of recursive unsolvability of Hilbert's tenth problem

Authors

James P. Jones
Matiyasevich, Yuri V.
Powered by UNITIS. More features.