brand

JonesJP, Matiyasevich Yu.V. ...


Новости

28 Октября, 2025 Конкурс на замещение должности
23 Октября, 2025 Конкурс на замещение должности
17 Октября, 2025 Конкурс на замещение должности
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

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