JonesJP, Matiyasevich Yu.V. ...

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

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

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