Persons: Serova, Darya Aleksandrovna

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Serova, Darya Aleksandrovna

Statistics
in zbMATH:	1 (1)

Keywords:

Tiling problems.

Subject:

Logic

List of publications:

by years

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


2024
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

2023
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

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