Карлов Борис Николаевич

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

1. О сложности проблемы тотальной выводимости в неукорачивающих и контекстно-свободных грамматиках
   
   Докл. РАН. Матем., информ., проц. упр., 524 (2025),  11–18
2. Определимость множеств в теориях языков с операциями объединения и итерации
   
   Вестник ТвГУ. Серия: Прикладная математика, 2025, № 2,  22–31
3. О неразрешимости теорий подмножеств некоторых унаров
   
   Докл. РАН. Матем., информ., проц. упр., 516 (2024),  15–20
4. О разрешимых и неразрешимых теориях языков
   
   Вестник ТвГУ. Серия: Прикладная математика, 2024, № 4,  30–39
5. Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках
   
   Алгебра и логика, 60:5 (2021),  471–496
6. Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств
   
   Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3,  18–32
7. Равномерная поуровневая укладка графов
   
   Вестник ТвГУ. Серия: Прикладная математика, 2018, № 2,  85–98
8. $(m,n)$-жесткие категориальные грамматики
   
   Вестник ТвГУ. Серия: Прикладная математика, 2017, № 4,  7–23
9. PDA with independent counters
   
   Модел. и анализ информ. систем, 22:2 (2015),  176–196
10. О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей
    
    Вестник ТвГУ. Серия: Прикладная математика, 2011, № 22,  91–110
11. Нормальные формы и автоматы для категориальных грамматик зависимостей
    
    Вестник ТвГУ. Серия: Прикладная математика, 2008, № 11,  23–43