Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программ
статья
Авторы:
Захаров В.А.
,
Попеско У.В.
Сборник:
Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.)
Редакторы:
Дудакова Ольга Сергеевна
,
Колпаков Роман Максимович
,
Комбаров Юрий Анатольевич
,
Кочергин Вадим Васильевич
Год издания:
2016
Место издания:
Изд-во механико-математического факультета МГУ Москва
Первая страница:
196
Последняя страница:
198
Добавил в систему:
Захаров Владимир Анатольевич