|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Алексей Петрович Столбоушкин Обложка, 05.11.1982-14.02.1983 с хронологией работы над статьей.
Заявление, М. А.Тайцлин->А.П. Ершов..., 29.10.1982о наличии разрешения Минвуза Казахской ССР на отправку статьи во Францию для опубликования в журнале TCS.
Статья, 29.10.1982"The comparison of the expressive power of first-order dynamic logics".
Служебная записка, 14.02.1983Просит указания ученого секретаря ВЦ СО АН СССР на отправку статей в редакцию журнала "Теоретикал Компьютер сайенс".
Письмо, А. П. Столбоушкин->А.П. Ершов, 08.07.1987Автор сообщает, что высылает первое информационное письмо о конференции LICS-88. Спрашивает, не будет ли адресат возражать против включения его имени и адреса в специальный файл для рассылки подобных информационных писем ежегодно.
Сопроводительное письмо, А.П. Ершов->М. Нива, 15.02.1983к статье А.П. Столбушкина и М.А. Тайцлина. Предлагает дать ее на второе чтение одному из специалистов в области динамических логик.
Письмо, А.П. Ершов->М. А.Тайцлин, 14.02.1983Сообщает авторам об отправке их статьи в журнал TCS и о дальнейшей работе над ней.
Письмо, М. А.Тайцлин->А.П. Ершов, 15.10.1982Автор спрашивает, нельзя ли опубликовать обзор о результатах, полученных в Казахском университете в области сравнения различных динамических логик по выразительной мощности, в журнале Theoretical Computer Science.
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
