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