| Обложка, 05.10.1986-13.07.1986 с хронологией работы над статьей.
Статья, 05.10.1986"A Decomposition Rule for the Hoare Logic".
Сопроводительное письмо, Т. Такаока->А.П. Ершов, 29.08.1986к стаье "A Decomposition Rule for the Hoare Logic", представленной для опубликования в журнале IPL.
Письмо, А.П. Ершов->Т. Такаока, 08.10.1986Подтверждает получение статьи и передачу ее на рецензирование. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->Г. Е. Минц, 08.10.1986Просит прорецензировать статью Такаоки.
Сопроводительное письмо, Г. Е. Минц->А.П. Ершов, 27.10.1986к отчету рецензента о статье Т. Такаоки. /Текст рукописный./
Отчет рецензента, 20.10.1986о статье "A Decomposition Rule for the Hoare Logic".
Отчет рецензента, 03.12.1986о статье "A Decomposition Rule for the Hoare Logic".
Письмо, А.П. Ершов->Т. Такаока, 08.12.1986Предлагает исправить статью с учетом замечаний. /Рукописный и машинописный варианты./
Письмо, Т. Такаока->А.П. Ершов, 12.03.1987Посылает исправленный вариант статьи.
Регистрационная карточка, 03.10.1987на статью Т. Такаока "A Decomposition Rule for the Hoare Logic".
По порядку | По алфавиту | По дате |
