Барсенас Эверардо

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

1. Blockchain and satisfiability modulo theories for tender systems
   
   Труды ИСП РАН, 35:1 (2023),  113–122
2. Выполнимость мю-исчисления с арифметическими ограничениями
   
   Труды ИСП РАН, 33:2 (2021),  191–200
3. Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма
   
   Труды ИСП РАН, 33:2 (2021),  65–76