Karlov Boris Nikolaevich

Publications in Math-Net.Ru

1. On complexity of total derivability problem in noncontracting and context-free grammars
   
   Dokl. RAN. Math. Inf. Proc. Upr., 524 (2025),  11–18
2. 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
3. On undecidability of subset theories of some unars
   
   Dokl. RAN. Math. Inf. Proc. Upr., 516 (2024),  15–20
4. 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
5. Complexity of Lambek calculi with modalities and of total derivability in grammars
   
   Algebra Logika, 60:5 (2021),  471–496
6. 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
7. Uniform graph layering
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 2,  85–98
8. $(m,n)$-rigid categorial grammars
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 4,  7–23
9. PDA with independent counters
   
   Model. Anal. Inform. Sist., 22:2 (2015),  176–196
10. 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
11. 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