Kanovich, M. I. On reducibility by general recursive operators. (English. Russian original) Zbl 0566.03027 Sov. Math., Dokl. 28, 706-710 (1983); translation from Dokl. Akad. Nauk SSSR 273, 793-796 (1983). Reviewer: Phan Dinh Dieu MSC: 03D30 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Sov. Math., Dokl. 28, 706--710 (1983; Zbl 0566.03027); translation from Dokl. Akad. Nauk SSSR 273, 793--796 (1983)
Kanovich, M. I. On the complexity and reducibility of algorithmic mass problems. (English. Russian original) Zbl 0563.03026 Sov. Math., Dokl. 28, 369-373 (1983); translation from Dokl. Akad. Nauk SSSR 272, 289-293 (1983). Reviewer: S.P.Yukna MSC: 03D15 03D30 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Sov. Math., Dokl. 28, 369--373 (1983; Zbl 0563.03026); translation from Dokl. Akad. Nauk SSSR 272, 289--293 (1983)
Kanovich, M. I. On the implicativity of the lattice of truth-table degrees of algorithmic problems. (English. Russian original) Zbl 0561.03024 Sov. Math., Dokl. 27, 699-703 (1983); translation from Dokl. Akad. Nauk SSSR 270, 1046-1050 (1983). Reviewer: G.Kobzev MSC: 03D30 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Sov. Math., Dokl. 27, 699--703 (1983; Zbl 0561.03024); translation from Dokl. Akad. Nauk SSSR 270, 1046--1050 (1983)
Kanovich, M. I. On truth-table reducibilities of problems of extending partial recursive functions. (English. Russian original) Zbl 0527.03035 Sov. Math., Dokl. 25, 631-635 (1982); translation from Dokl. Akad. Nauk SSSR 264, 294-298 (1982). MSC: 03D30 03F65 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Sov. Math., Dokl. 25, 631--635 (1982; Zbl 0527.03035); translation from Dokl. Akad. Nauk SSSR 264, 294--298 (1982)
Kanovic, M. I. On the precision of a complexity criterion for nonrecursiveness and universality. (English. Russian original) Zbl 0383.03029 Sov. Math., Dokl. 18, 232-236 (1977); translation from Dokl. Akad. Nauk SSSR 232, 1249-1252 (1977). MSC: 03D30 03D20 03D25 03D15 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 18, 232--236 (1977; Zbl 0383.03029); translation from Dokl. Akad. Nauk SSSR 232, 1249--1252 (1977)
Kanovic, M. I. Complex properties of context-sensitive languages. (English. Russian original) Zbl 0371.02014 Sov. Math., Dokl. 18, 383-387 (1977); translation from Dokl. Akad. Nauk SSSR 233, No. 3, 289-292 (1977). MSC: 03D20 03D03 68Q45 68Q25 03D30 03D99 68W99 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 18, 383--387 (1977; Zbl 0371.02014); translation from Dokl. Akad. Nauk SSSR 233, No. 3, 289--292 (1977)
Kanovic, M. I. A hierarchical semantic system with set variables. (English. Russian original) Zbl 0325.02030 Sov. Math., Dokl. 16, 504-509 (1975); translation from Dokl. Akad. Nauk SSSR 221, 1256-1259 (1975). MSC: 03D55 03F99 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 16, 504--509 (1975; Zbl 0325.02030); translation from Dokl. Akad. Nauk SSSR 221, 1256--1259 (1975)
Kanovic, Max I. On sets of complex-programmed numbers. (English) Zbl 0316.02040 Math. Found. Comput. Sci., 4th Symp., Marianske Lazne 1975, Lect. Notes Comput. Sci. 32, 271-272 (1975). MSC: 03D60 68W99 PDFBibTeX XML
Kanovic, M. I. A theorem on speeding up in formal systems. (Russian) Zbl 0307.68034 Sloznost’ Vycisl. Algorit. 186-189 (1974). MSC: 68Q25 68T15 03D20 03D60 PDFBibTeX XML
Kanovic, M. I. Über eine Erweiterung des semantischen Stufensystems von A. A. Markov. (Russian) Zbl 0299.02051 Teor. Algorif. mat. Logika, 62-70 (1974). MSC: 03D55 03F99 PDFBibTeX XML
Kanovic, M. I. Irreducibility of languages of the stepped semantic system. (English. Russian original) Zbl 0299.02050 Sov. Math., Dokl. 14, 1459-1463 (1973); translation from Dokl. Akad. Nauk SSSR 212, 800-803 (1973). MSC: 03D55 03F99 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 14, 1459--1463 (1973; Zbl 0299.02050); translation from Dokl. Akad. Nauk SSSR 212, 800--803 (1973)
Kanovic, M. I. On the complexity of approximation of arithmetic sets. (English. Russian original) Zbl 0293.02029 Sov. Math., Dokl. 14, 1153-1158 (1973); translation from Dokl. Akad. Nauk SSSR 211, 1038-1041 (1973). MSC: 03D55 03D99 68Q25 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 14, 1153--1158 (1973; Zbl 0293.02029); translation from Dokl. Akad. Nauk SSSR 211, 1038--1041 (1973)
Kanovich, M. I. On domains of definition of optimal algorithms. (English. Russian original) Zbl 0235.02025 Sov. Math., Dokl. 12, 773-776 (1971); translation from Dokl. Akad. Nauk SSSR 198, 283-285 (1971). MSC: 68Q25 03D20 03D99 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Sov. Math., Dokl. 12, 773--776 (1971; Zbl 0235.02025); translation from Dokl. Akad. Nauk SSSR 198, 283--285 (1971)
Kanovic, M. I. Complexity of resolution of a recursively enumerable set as a criterion of its universality. (English. Russian original) Zbl 0299.02045 Sov. Math., Dokl. 11, 1224-1228 (1970); translation from Dokl. Akad. Nauk SSSR 194, 500-503 (1970). MSC: 03D25 03D30 68Q25 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 11, 1224--1228 (1970; Zbl 0299.02045); translation from Dokl. Akad. Nauk SSSR 194, 500--503 (1970)
Kanovic, M. I. On the complexit y of enumeration and decision of predicates. (English. Russian original) Zbl 0255.02049 Sov. Math., Dokl. 11, 17-20 (1970); translation from Dokl. Akad. Nauk SSSR 190, 23-26 (1970). MSC: 68W99 68Q25 03D80 03D20 PDFBibTeX XMLCite \textit{M. I. Kanovic}, Sov. Math., Dokl. 11, 17--20 (1970; Zbl 0255.02049); translation from Dokl. Akad. Nauk SSSR 190, 23--26 (1970)
Kanovich, M. I.; Kushner, B. A. Estimating the complexity of certain algorithmic problems of analysis. (English. Russian original) Zbl 0267.02022 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16, 40-44 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 81-90 (1969). Reviewer: N. Kosovskiĭ (R. Zh. Mat. 1970, 6A73) MSC: 03F99 03D80 PDFBibTeX XML