|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Виктор Карлович Сабельфельд Статья, 13.05.1981 "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Статья, 02.11.1979"The logic-termal equivalence is polynomial-time decidable".
Телеграмма, А.П. Ершов->Г. Парч..., 03.03.1986Сообщает, что доклады отправлены 17-го февраля. /Текст рукописный./
Адрес, А. С. Нариньяни ->А.П. Ершов..., 18.04.1981от сотрудников ВЦ СО АН, завсегдатаев кофе-клуба. /В список авторов не включены лица, не идентифицируемые по подписи. Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Телеграмма, Ф. Л. Бауэр->А.П. Ершов, 11.04.1986с предложением, где остановиться на ночь с воскресенья на понедельник.
Письмо, А.П. Ершов->Ю. И. Янов, 10.01.1979Благодарит за препринт; задает несколько вопросов по нему; предлагает подготовить статью для журнала "Theoretical Computer Science" и заслушать на семинаре результаты работы своего аспиранта по преобразованиям стандартных схем. /Текст рукописный./
Почтовая карточка, Я. Мёйр->А.П. Ершов, 27.11.1979Подтверждение получения статьи в IPL.
Письмо, Б. К. Розен->А.П. Ершов, 01.06.1981В ответ на письмо от 14 мая сообщает, что не сможет быть рецензентом статьи В.К. Сабельфельда, так как сфера его интересов лежит в другой области. Рекомендует обратиться к профессору Дж. Гальеру, которому он уже переслал статью. Если тот откажется, рекомендует еще двоих специалистов.
Тезисы, 10.12.1980возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
Данные к отчету, 03.01.1978по международному сотрудничеству по теме "Создание систем коллективного пользования" между ВЦ СО АН СССР и Центром вычислительной техники АН ГДР.
Служебная записка, А. А. Берс->А.П. Ершов, 21.05.1980Сообщает информацию по поводу дипломника А.М. Еремеева.
Списоксотрудников лаборатории систем программирования ВЦ СО АН. /Текст рукописный./
Письмо, А.П. Ершов->Г. И. Марчук, 04.09.1979Просьба дать указание о командировании перечисленных сотрудников ВЦ в Ургенч сроком на 10 дней с 14 сентября с.г. для обеспечения работы симпозиума, связанной с участием иностранных учёных.
Записи (рукописные), 19.08.1974-20.08.1974Подготовка к лекциям по системе БЕТА в Лунде. /Последняя страница не из Лунда, так как датирована 24.09.1974 и называется "Устное сообщение по внутреннему языку"./
Служебная записка, А.П. Ершов->А. С. Алексеев, 30.01.1975Просьба перевести сотрудников отделения информатики на указанные ставки и должности.
Протоколы, 10.10.1980-01.03.1982заседаний кафедры вычислительной математики (программисты). В один из протоколов включено выступление В.А. Вальковского о работах сотрудников кафедры вычислительной математики за 1980-й год по теме "Проблемы параллельного программирования".
Письмо, А.П. Ершов->Г. И. Попова, 14.02.1983Сообщает о своих действиях и решениях.
Представление, А.П. Ершов->В. А. Коптюг, 23.05.1980Кафедра вычислительной математики представляет к зачислению в штат на должность ассистента В.К. Сабельфельда.
Письмо с приложением, Дж. Гальер->А.П. Ершов, 01.07.1981Посылает свой отчет по статье В.К. Сабельфельда. Считает, что статья не может быть опубликована без серьезной доработки. Приложены подробные замечания.
Обложка, 02.11.1979-18.03.1980с хронологией работы над статьей.
1 2 3 4 5 6 7 8 9 10 11 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
