старшего научного сотрудника Института математики СО АН СССР Д.И.Свириденко для поездки во Францию.

ВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.

на статью Такусу и Макахары "Система программирования с математическим мышлением", представленную на конференцию "Языки программирования и конструирование систем".

которую надо обсудить в телефонном разговоре с Д.Н. Тодороем по поводу симпозиума по системному и теоретическому программированию в Кишиневе в 1982 г. /Текст рукописный./

в поддержку создания лаборатории прикладной логики в ИМ СО АН СССР и предложения по ее кадровому составу. /Черновик./

на рукопись, представленную на конференцию "Языки программирования и конструирование систем".

комиссии по проверке научной деятельности Института систем информатики СО РАН - результаты за период 1990-1992 гг. могут быть признаны соответствующими высокому научному уровню.

ВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./

на статью Н.Н. Непейводы и Д.И. Свириденко "К теории синтеза программ".