Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Карлов Борис Николаевич
В базах данных Math-Net.Ru
Публикаций: 7
Научных статей: 7
Лекций и докладов: 1

Статистика просмотров:
Эта страница:338
Страницы публикаций:1125
Полные тексты:612
Списки литературы:145
доцент
кандидат физико-математических наук (2012)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: Формальная грамматика, разрешимость, сложность вычислений

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

Математическая логика, теория автоматов и формальных языков, теория сложности вычислений

Научная биография:

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

https://www.mathnet.ru/rus/person112277
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://elibrary.ru/author_items.asp?spin=9969-2841
https://orcid.org/0000-0002-4340-2435
https://www.webofscience.com/wos/author/record/ABF-1175-2020
https://publons.com/researcher/4052859
https://www.scopus.com/authid/detail.url?authorId=55270265800
https://www.researchgate.net/profile/Boris_Karlov2

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов, Е. М. Фофанова, “Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках”, Алгебра и логика, 60:5 (2021),  471–496  mathnet; S. M. Dudakov, B. N. Karlov, S. L. Kuznetsov, E. M. Fofanova, “Complexity of Lambek calculi with modalities and of total derivability in grammars”, Algebra and Logic, 60:5 (2021), 308–326  isi  scopus 1
2. Б. Н. Карлов, “Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3,  18–32  mathnet  elib 1
2018
3. Б. Н. Карлов, А. В. Наймушин, “Равномерная поуровневая укладка графов”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 2,  85–98  mathnet  elib
2017
4. Б. Н. Карлов, “$(m,n)$-жесткие категориальные грамматики”, Вестник ТвГУ. Серия: Прикладная математика, 2017, № 4,  7–23  mathnet  elib
2015
5. Michael Dekhtyar, Boris Karlov, “PDA with independent counters”, Модел. и анализ информ. систем, 22:2 (2015),  176–196  mathnet  mathscinet  elib
2011
6. Б. Н. Карлов, “О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей”, Вестник ТвГУ. Серия: Прикладная математика, 2011, № 22,  91–110  mathnet  elib
2008
7. Б. Н. Карлов, “Нормальные формы и автоматы для категориальных грамматик зависимостей”, Вестник ТвГУ. Серия: Прикладная математика, 2008, № 11,  23–43  mathnet  elib

Доклады и лекции в базе данных Math-Net.Ru
1. О теориях подмножеств некоторых алгебр
Б. Н. Карлов
Однодневный семинар по математической логике
29 июня 2023 г. 14:30   

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024