Persons: Karlov, Boris Nikolaevich

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Karlov, Boris Nikolaevich

Associate professor

Candidate of physico-mathematical sciences (2012)

Speciality:

01.01.06 (Mathematical logic, algebra, and number theory)

E-mail:

Keywords:

Formal grammar, decidability, computational complexity

Subject:

Mathematical logic, theory of automata and formal languages, theory of computational complexity

Main publications:

Karlov B. N., “(m,n)-zhestkie kategorialnye grammatiki”, Vestnik Tverskogo gosudarstvennogo universiteta. Seriya: Prikladnaya matematika, 2017, № 4, 7-23
Karlov B. N., Naimushin A. V., “Ravnomernaya pourovnevaya ukladka grafov”, Vestnik Tverskogo gosudarstvennogo universiteta. Seriya: Prikladnaya matematika, 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

	Publications in Math-Net.Ru	Citations
	2021
1.	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 Logika, 60:5 (2021), 471–496 ; Algebra and Logic, 60:5 (2021), 308–326	1
2.	B. N. Karlov, “On elementary equivalence of some unoids and unoids of their subsets”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2021, no. 3, 18–32	2
	2018
3.	B. N. Karlov, A. V. Naimushin, “Uniform graph layering”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 2, 85–98
	2017
4.	B. N. Karlov, “$(m,n)$-rigid categorial grammars”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 4, 7–23
	2015
5.	Michael Dekhtyar, Boris Karlov, “PDA with independent counters”, Model. Anal. Inform. Sist., 22:2 (2015), 176–196
	2011
6.	B. N. Karlov, “On the properties of the languages specified by the multimodal categorial dependency grammars”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2011, no. 22, 91–110
	2008
7.	B. N. Karlov, “Normal forms and automata for categorical dependency grammars”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2008, no. 11, 23–43

Presentations in Math-Net.Ru

1.	О теориях подмножеств некоторых алгебр B. N. Karlov June 29, 2023 14:30

Organisations