Результаты

1. Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

2. Relational Solver for Java Generics Type System

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

3. Efficient fair conjunction for structurally-recursive relations

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

Просмотреть все (17) »