University of Calgary

Register Machine proof of the Theorem on Exponential Diophantine representation of Enumerable sets

Authors

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