Документы, связанные с Джованни Уччелла

Обложка, 13.03.1980-02.09.1980
с хронологией работы над статьей.
Письмо, Дж. Уччелла->А.П. Ершов, 18.02.1980
Просит опубликовать свою статью "Discovering Concurrency by Means of Graphs" в журнале IPL. Говорит, что ради уменьшения размера статьи опущены доказательства теорем, но они могут быть легко вставлены, если этого потребует рецензент.
Письмо, А.П. Ершов->Дж. Уччелла, 13.05.1980
Подтверждает получение статьи и передачу ее на рецензирование.
Отчет рецензента, 05.06.1980
о статье "Discovering Concurrency by Means of Graphs".
Письмо, А.П. Ершов->Дж. Уччелла, 02.09.1980
Сообщает, что статья требует переработки. Рекомендует познакомиться с книгой Д.А. Поспелова. /Рукописный и машинописный варианты./

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


Назад

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