Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Давила Рене https://www.mathnet.ru/rus/person207954 Список публикаций на Google Scholar https://orcid.org/0000-0002-3174-5748 Публикации в базе данных 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   Организации National Autonomous University of Mexico