Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Ключевые слова: Формальная грамматика, разрешимость, сложность вычислений
Основные темы научной работы:
Математическая логика, теория автоматов и формальных языков, теория сложности вычислений
Основные публикации:
Карлов Б. Н., “(m,n)-жёсткие категориальные грамматики”, Вестник Тверского государственного университета. Серия: Прикладная математика, 2017, № 4, 7-23
Карлов Б. Н., Наймушин А. В., “Равномерная поуровневая укладка графов”, Вестник Тверского государственного университета. Серия: Прикладная математика, 2018, № 2, 85-98
Dudakov S., Karlov B., “On Decidability of Regular Languages Theories”, Lecture Notes in Computer Science, 11532 LNCS, Springer-Verlag GmbH, 2019, 119-130
Dudakov S., Karlov B., “On Decidability of Theories of Regular Languages”, Theory of Computing Systems, 2020
Karlov B., “On Theory of Regular Languages with the Kleene Star Operation”, Lobachevskii Journal of Mathematics, 41:9 (2020), 1660-1665
