Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Лозов Пётр Алексеевич

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1
Лекций и докладов: 1

Статистика просмотров:
Эта страница:134
Страницы публикаций:154
Полные тексты:123
Списки литературы:28

https://www.mathnet.ru/rus/person138813
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2018
1. П. А. Лозов, Д. Ю. Булычев, “Преобразование типизированных функций в реляционную форму”, Труды ИСП РАН, 30:2 (2018),  45–64  mathnet  elib

Доклады и лекции в базе данных Math-Net.Ru
1. Relational Solver for Java Generics Type System
P. A. Lozov
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
15 декабря 2023 г. 14:00

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024