Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Logic-Based Program Synthesis and Transformation (LOPSTR 2023) |
| Издатель | Springer Nature |
| Страницы | 118–128 |
| DOI | |
| Состояние | Опубликовано - 2023 |
| Событие | 33rd International Symposium on Logic-based Program Synthesis and Transformation - Лиссабон, Португалия Продолжительность: 23 окт 2023 → 24 окт 2023 |
| конференция | 33rd International Symposium on Logic-based Program Synthesis and Transformation |
|---|---|
| Сокращенное название | LOPSTR |
| Страна/Tерритория | Португалия |
| Город | Лиссабон |
| Период | 23/10/23 → 24/10/23 |
ID: 133690438