S. M. Dudakov, B. N. Karlov, “On complexity of total derivability problem in noncontracting and context-free grammars”, Dokl. RAN. Math. Inf. Proc. Upr., 524 (2025), 11–18
2.
B. N. Karlov, “Definability of sets in theories of languages with union and Kleene star”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2025, no. 2, 22–31
2024
3.
B. N. Karlov, “On undecidability of subset theories of some unars”, Dokl. RAN. Math. Inf. Proc. Upr., 516 (2024), 15–20; Dokl. Math., 516:2 (2024), 112–116
B. N. Karlov, “On decidable and undecidable theories of languages”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2024, no. 4, 30–39
2021
5.
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
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
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
8.
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
9.
Michael Dekhtyar, Boris Karlov, “PDA with independent counters”, Model. Anal. Inform. Sist., 22:2 (2015), 176–196
2011
10.
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
11.
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
Contact us: