Публикация №17558(БАЛЛЫ 0)
| Название публикации | Formal Semantics and Verification of Procedural SQL Programs Implementing Materialized Data Integration <--> This work was financially supported by the research topic FFNG-2024-0009 of the FRC CSC RAS |
|---|---|
| Название на другом языке | |
| Тип публикации | Статья |
| Издание | Lobachevskii Journal of Mathematics |
| Издатель | Не задан |
| ISBN | Не задан |
| DOI | https://doi.org/10.1134/S1995080225606083 |
| Год издания | 2025 |
| Том | 46 |
| Номер | 4 |
| Глава | Не задан |
| Страницы | 1511–1525 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | |
| РИНЦ | 0 |
| WoS | 0 |
| Баллы | 0 |
| Грант % | 100 |
| Цитируемые публикации авторов ФИЦ ИУ РАН |
