Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Телефон: +7 (4822) 58 54 10
Факс: +7 (4822) 58 54 10
E-mail: Сайт: https://pmk.tversu.ru/general/employees/1/? Ключевые слова: сложность вычислений,
свойства коллапса для языков,
универсальный случайный граф,
логика первого порядка,
автоматный язык.
Коды УДК: 510.5, 510.6, 510.62, 510.652 Коды MSC: 68P15, 03B70
Основные темы научной работы:
Теория сложности вычислений,
теория языков первого порядка,
теория баз данных
Основные публикации:
S. M. Dudakov, B. N. Karlov, “On Decidability of Theories of Regular Languages”, Theory of Computing Systems, 65 (2021), 462–478
S. M. Dudakov, “On inflationary fix-point operators safety”, Lobachevskii Journal of Mathematics, 36:4 (2015), 328–331
С. М. Дудаков, “Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы”, Изв. РАН. Сер. матем., 75:5 (2011), 47–64; S. M. Dudakov, “Monadic structures over an ordered universal random graph and finite automata”, Izv. Math., 75:5 (2011), 915–932
С. М. Дудаков, М. А. Тайцлин, “Трансляционные результаты для языков запросов в теории баз данных”, УМН, 61:2(368) (2006), 3–66; S. M. Dudakov, M. A. Taitslin, “Collapse results for query languages in database theory”, Russian Math. Surveys, 61:2 (2006), 195–253
M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos, “Maximal state independent approximations to minimal real change”, AMAI, 33 (2001), 157–204
