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
3.
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
6.
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
7.
Michael Dekhtyar, Boris Karlov, “PDA with independent counters”, Model. Anal. Inform. Sist., 22:2 (2015), 176–196
2011
8.
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
9.
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: