Selivanov, V. L. Precomplete numberings. (English. Russian original) Zbl 07364540 J. Math. Sci., New York 256, No. 1, 96-124 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 106-134 (2018). MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{V. L. Selivanov}, J. Math. Sci., New York 256, No. 1, 96--124 (2021; Zbl 07364540); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 106--134 (2018) Full Text: DOI
Konovalov, Anton; Selivanov, Victor The Boolean algebra of piecewise testable languages. (English) Zbl 1475.68195 Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 292-301 (2016). MSC: 68Q70 06E05 PDFBibTeX XMLCite \textit{A. Konovalov} and \textit{V. Selivanov}, Lect. Notes Comput. Sci. 9709, 292--301 (2016; Zbl 1475.68195) Full Text: DOI
Konovalov, A. S.; Selivanov, V. L. Boolean algebras of regular languages. (English. Russian original) Zbl 1312.68119 Algebra Logic 52, No. 6, 448-470 (2014); translation from Algebra Logika 52, No. 6, 676-711 (2013). MSC: 68Q45 06E05 PDFBibTeX XMLCite \textit{A. S. Konovalov} and \textit{V. L. Selivanov}, Algebra Logic 52, No. 6, 448--470 (2014; Zbl 1312.68119); translation from Algebra Logika 52, No. 6, 676--711 (2013) Full Text: DOI