Обложка, 02.11.1979-18.03.1980 с хронологией работы над статьей.
Письмо, В. К. Сабельфельд->А.П. Ершов, 02.11.1979Просит опубликовать в IPL свою статью "The logic-termal equivalence is polynomial-time decidable". Разрешение на отправку статьи за границу получено. /Текст рукописный./
Почтовая карточка, Я. Мёйр->А.П. Ершов, 27.11.1979Подтверждение получения статьи в IPL.
Статья, 02.11.1979"The logic-termal equivalence is polynomial-time decidable".
По порядку | По алфавиту | По дате |