Лозов Пётр Алексеевич

Публикации в базе данных Math-Net.Ru

1. Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений
   
   Труды ИСП РАН, 36:5 (2024),  47–66
2. Преобразование типизированных функций в реляционную форму
   
   Труды ИСП РАН, 30:2 (2018),  45–64