| Обложка, 13.05.1981-09.11.1981 с хронологией работы над статьей.
Статья, 13.05.1981"The tree equivalence of linear recursive schemata is polinomial-time decidable".
Письмо, Б. К. Розен->А.П. Ершов, 01.06.1981В ответ на письмо от 14 мая сообщает, что не сможет быть рецензентом статьи В.К. Сабельфельда, так как сфера его интересов лежит в другой области. Рекомендует обратиться к профессору Дж. Гальеру, которому он уже переслал статью. Если тот откажется, рекомендует еще двоих специалистов.
Письмо с приложением, Дж. Гальер->А.П. Ершов, 01.07.1981Посылает свой отчет по статье В.К. Сабельфельда. Считает, что статья не может быть опубликована без серьезной доработки. Приложены подробные замечания.
Почтовая карточка, 29.10.1981Редакция потверждает получение двух статей - Р. Фрейвалдса и В.К. Сабельфельда.
Статья, 20.10.1981Переработанный вариант статьи "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Расписка, 19.10.1981в получении в СО АН СССР разрешения на вывоз статьи за границу.
Регистрационная карточка, 22.10.1981на статью "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Письмо, А.П. Ершов->Б. К. Розен, 14.05.1981Просит адресата прорецензировать статью В.К. Сабельфельда "The tree equivalence of linear recursive schemata in polynomial-time decidable". Посылает свою статью, по которой планирует прочитать доклад на конференции MFCS'81. Просит дать ссылки на современные работы по этой тематике. /Рукописный и машинописный варианты./
По порядку | По алфавиту | По дате |
