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

Total publications: 2 (2)
in zbMATH: 1 (1)
Presentations: 2

Number of views:
This page:123
Keywords: Tiling problems.

Subject:

Logic


https://www.mathnet.ru/eng/person209465
List of publications on Google Scholar
List of publications on ZentralBlatt

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


Citations (Crossref Cited-By Service + Math-Net.Ru)

Proceedings

1. 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 (to appear) https://scan2023.mi-ras.ru/abstracts.pdf

ArXiv

2. M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) (to appear) , 7 pp. pp., arXiv: 2306.13736  crossref  zmath  adsnasa

Presentations in Math-Net.Ru
1. Кодирование проблем укладки домино логическими средствами
D. A. Serova

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

June 29, 2023 14:00   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024