Author

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

Observed names: B Karlov, B. Karlov, B. N. Karlov, B.N. Karlov, Boris Karlov, Boris Nikolaevich Karlov, Карлов, Б.Н.

Institution: Tver State University

Observed institution: Tver State University

ORCID: 0000-0002-4340-2435

Observed ORCID: 0000-0002-4340-2435

OpenAlex ID: A5059274815

Categorial dependency grammars

2015 · Michael Dekhtyar, Alexander Dikovsky, et al. · Theoretical Computer Science · 34

PDF

On Decidability of Theories of Regular Languages

2020 · Sergey Dudakov, Boris Karlov · Theory of Computing Systems · 12

Iterated Dependencies and Kleene Iteration

2012 · Michael Dekhtyar, Alexander Dikovsky, et al. · Lecture notes in computer science · 9

On elementary equivalence of some unoids and unoids of their subsets

2021 · Борис Николаевич Карлов · Herald of Tver State University Series Applied Mathematics · 6

On Decidability of Regular Languages Theories

2019 · Sergey Dudakov, Boris Karlov · Lecture notes in computer science · 6

Abstract Automata and a Normal Form for Categorial Dependency Grammars

2012 · Boris Karlov · Lecture notes in computer science · 4

Представление многочленов мультимодальными категориальными грамматиками зависимостей

2023 · Борис Николаевич Карлов · Вестник ВГУ Серия Системный анализ и информационные технологии · 1

Complexity of Lambek Calculi with Modalities and of Total Derivability in Grammars

2021 · S. M. Dudakov, B. N. Karlov, et al. · Algebra and Logic · 1

Uniform graph layering

2018 · Boris Karlov, Alexey Naimushin · Herald of Tver State University Series Applied Mathematics · 1

PDF

(m,n)-rigid categorial grammars

2017 · Boris Karlov · Herald of Tver State University Series Applied Mathematics · 1

PDF

An Interchange Lemma for Categorial Dependency Grammars

2026 · B. N. Karlov · Mathematical Notes

Лемма об обмене для категориальных грамматик зависимостей

2026 · Boris Nikolaevich Karlov · Математические заметки

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

2026 · Boris Nikolaevich Karlov · Дискретная математика

Определимость множеств в теориях языков с операциями объединения и итерации

2025 · Борис Николаевич Карлов · Herald of Tver State University Series Applied Mathematics

On Complexity of Total Derivability Problem in Noncontracting and Context-free Grammars

2025 · S.M. Dudakov, B.N. Karlov · Доклады Российской академии наук Математика информатика процессы управления / Doklady Mathematics

О разрешимых и неразрешимых теориях языков

2024 · Борис Николаевич Карлов · Herald of Tver State University Series Applied Mathematics

On undecidability of subset theories of some unars

2024 · B. N. Karlov · Доклады Российской академии наук Математика информатика процессы управления

PDF

On Undecidability of Subset Theories of Some Unars

2024 · B. N. Karlov · Doklady Mathematics

О научной школе по математическим основам информатики в Тверском государственном университете

2021 · Сергей Михайлович Дудаков, Борис Николаевич Карлов, et al. · Международная научно-практическая конференция «Актуальные проблемы науки и образования в условиях современных вызовов»

PDF

Complexity of Lambek calculi with modalities and of total derivability in grammars

2021 · S. M. Dudakov, B. N. Karlov, et al. · Algebra i logika

PDF

Algorithmic properties of some fragments of concatenation theory

2021 · B Karlov · Journal of Physics Conference Series

PDF

On Theory of Regular Languages with the Kleene Star Operation

2020 · B. Karlov · Lobachevskii Journal of Mathematics

PDA with Independent Counters

2015 · Michael Dekhtyar, Boris Karlov · Modeling and Analysis of Information Systems

PDF