JonesJP, Matiyasevich Yu.V. ...


Jones J.P., Matijasevich Yu.V.
[1982]
Exponential Diophantine representation of recursively enumerable sets
Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 159-177, North-Holland
?
article

Вернуться к поиску