Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Serova, Darya Aleksandrovna

Statistics
in zbMATH: 1 (1)
Keywords: Tiling problems.

Subject:

Logic


https://www.mathnet.ru/eng/person209465
List of publications on Google Scholar
https://zbmath.org/authors/ai:serova.d

List of publications:
| scientific publications | by years | by types | by times cited | common list |


Citations (Crossref Cited-By Service + Math-Net.Ru)
1. M. N. Rybakov, D. A. Serova, “Nerazreshimye fragmenty rasshirenii predikatnoi logiki Gedelya–Dammetta”, Mezhdunarodnaya konferentsiya Maltsevskie chteniya, Tezisy dokladov (Novosibirsk, Institut matematiki im. S. L. Soboleva SO RAN, 11–15 noyabrya 2024 goda.), Novosibirsk, 2024, 45 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf
2. M. Rybakov, D. Serova, “Tiling problems and complexity of logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow,, 2023, 70–72 https://scan2023.mi-ras.ru/abstracts.pdf
3. M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp. pp., arXiv: 2306.13736  crossref  zmath  adsnasa

Presentations in Math-Net.Ru
1. NP-полнота задачи разбиения множества
D. A. Serova, M. N. Rybakov
Dobrushin Mathematics Laboratory Seminar
April 29, 2025 16:15
2. Кодирование проблем укладки домино логическими средствами
D. A. Serova

June 24, 2024 14:00   
3. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
D. A. Serova

June 29, 2023 14:00   
4. Tiling problems and complexity of logics
Mikhail Rybakov, Darya Serova
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 14, 2023 15:00   

Organisations