Архив
Редакционно-издательская деятельность
Работа в журнале "Information Processing Letters"
IPL. Статья В.К. Сабельфельда (1979)
Письмо, В. К. Сабельфельд->А.П. Ершов, 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
с хронологией работы над статьей.

По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016