Персоналии: Серова Дарья Александровна

Персоналии

RUS ENG

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

Серова Дарья Александровна

Статистика просмотров:
Эта страница:	71

Ключевые слова:

Теория замощений.

Основные темы научной работы

Логика, теория групп

Список публикаций:

научные публикации

по годам

		Цитирования (Crossref Cited-By Service + Math-Net.Ru)


2023
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
2.	M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) (to appear) , 7 pp. pp., arXiv: 2306.13736

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

1.	Кодирование проблем укладки домино логическими средствами Д. А. Серова Однодневный семинар по математической логике 24 июня 2024 г. 14:00
2.	Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода Д. А. Серова Однодневный семинар по математической логике 29 июня 2023 г. 14:00

Организации

Обратная связь: