|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Михаил Абрамович Тайцлин Письмо, М. А.Тайцлин->А.П. Ершов, 08.01.1985 Просьба поддержать предложение о переводе на русский язык книги Д. Харела "Динамическая логика", с которым обратились в издательство "Мир".
Обложка, 26.06.1984-22.04.1985с хронологией работы над статьей.
Обложка, 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Просит указания ученого секретаря ВЦ СО АН СССР на отправку статей в редакцию журнала "Теоретикал Компьютер сайенс".
Письмо, А. Кфури->А.П. Ершов, 06.06.1984Автор посылает свою статью и просит представить ее к публикации в журнале IPL. Он объясняет, почему обратился именно к А.П. Ершову. /Текст рукописный./
Сопроводительное письмо, М. А.Тайцлин->А.П. Ершов, 25.07.1984к отзыву рецензента на статью А. Кфури "The Unwind Property for Programs with Bounded Memory".
Отзыв, 25.07.1984Комментарии рецензента на статью А. Кфури "The Unwind Property for Programs with Bounded Memory".
Отчет рецензента, 11.07.1984на статью А. Кфури "The Unwind Property for Programs with Bounded Memory". Мнение рецензента - статья должна быть опубликована.
Письмо, автор не установлен->А.П. Ершов, 29.11.1986Автор с возмущением сообщает о плагиате в книге, выпущенной Калининским госурственным университетом.
Письмо, А.П. Ершов->М. А.Тайцлин, 14.02.1983Информирует адресата о получении его статьи и необходимости подвергнуть ее второму чтению для проверки получения независимых результатов и языковой доработки.
Письмо, А.П. Ершов->М. Нива, 14.02.1983Посылает для опубликования статью А.П. Столбошкина и М.А. Тайцлина. Статья уже прореферирована, в ней содержатся хорошие результаты. Однако, дополнительное редактирование все же потребуется. /Текст рукописный./
Сопроводительное письмо, А.П. Ершов->М. Нива, 15.02.1983к статье А.П. Столбушкина и М.А. Тайцлина. Предлагает дать ее на второе чтение одному из специалистов в области динамических логик.
Письмо, А.П. Ершов->М. А.Тайцлин, 14.02.1983Сообщает авторам об отправке их статьи в журнал TCS и о дальнейшей работе над ней.
Повестка, С. Л. Соболев->А.П. Ершов..., 12.04.1973заседания Ученого совета ИМ СО АН СССР.
Повестка, С. Л. Соболев->А.П. Ершов..., 07.02.1975заседаний Ученого совета ИМ СО АН СССР.
Повестка, С. Л. Соболев->А.П. Ершов..., 05.06.1975-06.06.1975заседания Учёного совета ИМ СО АН СССР. /Приписка Андрея Петровича: "Очень выдающийся парень, 1952 года рождения". Это о В.В. Иванове, который защищался на этом заседании Учёного совета./
Письмо, М. А.Тайцлин->А.П. Ершов, 15.10.1982Автор спрашивает, нельзя ли опубликовать обзор о результатах, полученных в Казахском университете в области сравнения различных динамических логик по выразительной мощности, в журнале Theoretical Computer Science.
Письмо, А.П. Ершов->М. А.Тайцлин, 29.07.1984Просьба дать заключение о возможности публикации приложенной рукописи в журнале "Information Processing Letters" и сделать это в течение месяца.
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
