JonesJP, Matiyasevich Yu.V. ...


Jones J.P., Matijasevich Yu.V.
[1984]
Register machine proof of the theorem on exponential Diophantine representations of enumerable sets
J. Symbolic Logic, 49, № 3, 818-829
85.04.45
O
article

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