|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
R. Dávila, R. Aldeco-Pérez, E. Barcenas, “Blockchain and satisfiability modulo theories for tender systems”, Труды ИСП РАН, 35:1 (2023), 113–122  |
|
2021 |
| 2. |
Й. Лимон, Э. Барсенас, Э. Бенитес-Герреро, Г. Молеро-Кастильо, А. Веласкес Мена, “Выполнимость мю-исчисления с арифметическими ограничениями”, Труды ИСП РАН, 33:2 (2021), 191–200 |
| 3. |
Д. Рианьо, Р. Пинон, Г. Молеро-Кастильо, Э. Барсенас, А. Веласкес-Мена, “Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма”, Труды ИСП РАН, 33:2 (2021), 65–76 |
|
Обратная связь: