Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
Шульгин Е.В.
Соавторы:
Кривчиков М.А.
1 статья
,
2 доклада на конференциях
IstinaResearcherID (IRID): 88959395
Деятельность
Статьи в сборниках
2017
Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus
Krivchikov M.
,
Shulgin E.
в сборнике
Материалы Пятой международной конференции "Актуальные проблемы системной и программной инженерии"
, место издания
Издательство НИУ ВШЭ Москва
, с. 57-62
Доклады на конференциях
2017
Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus
(Устный)
Авторы:
Шульгин Е.В.
,
Кривчиков М.А.
Актуальные проблемы системной и программной инженерии (АПСПИ 2017)
, Москва, Россия, 14-16 ноября 2017
2017
К статической проверке нетривиальных ограничений в реляционной модели предметной области
(Устный)
Авторы:
Шульгин Е.В.
,
Кривчиков М.А.
Знания-Онтологии-Теории (ЗОНТ-2017)
, Новосибирск, Россия, 2-6 октября 2017