|
|
Publications in Math-Net.Ru
-
Computation of a path with a minimal number of links in a given homotopy class between semi-algebraic obstacles in the plane
Algebra i Analiz, 10:2 (1998), 124–147
-
Construction of a shortest path around semi-algebraic obstacles in the plane
Zap. Nauchn. Sem. LOMI, 192 (1991), 163–173
-
Complexity problems in computational theory
Uspekhi Mat. Nauk, 36:6(222) (1981), 21–103
-
Detection of periodicities and string-matching in real time
Zap. Nauchn. Sem. LOMI, 105 (1981), 62–173
-
Determination in real time of all the periodicities in a word
Dokl. Akad. Nauk SSSR, 251:1 (1980), 48–51
-
A simplified proof of the real-time recognizability of palindromes on turing machines
Zap. Nauchn. Sem. LOMI, 68 (1977), 123–139
-
Finite approach to the problem of optimization of theorem-proving algorithms
Zap. Nauchn. Sem. LOMI, 49 (1975), 123–130
-
Identification of the symmetry predicate by means of multihead Turing machines with input
Trudy Mat. Inst. Steklov., 129 (1973), 30–202
-
A property of recursively enumerable sets containing “hardly deducible” formulas
Zap. Nauchn. Sem. LOMI, 20 (1971), 200–207
-
Certain questions of the approximation of the maximal regulators of continuity
Trudy Mat. Inst. Steklov., 113 (1970), 73–78
-
A computer algorithm for establishing deducibility, based on the inverse method
Zap. Nauchn. Sem. LOMI, 16 (1969), 8–19
-
The construction of maximal continuity regulators for constructive functions
Trudy Mat. Inst. Steklov., 93 (1967), 208–249
-
Arithmetical operations on certain sets of duplexes
Trudy Mat. Inst. Steklov., 93 (1967), 187–207
-
On maximal regulators of continuity for constructive functions
Zap. Nauchn. Sem. LOMI, 4 (1967), 201–208
-
On constructive non-separable spaces
Trudy Mat. Inst. Steklov., 72 (1964), 533–536
-
Example of a non-discontinous but not continuous constructive operator in a metric space
Trudy Mat. Inst. Steklov., 72 (1964), 524–532
-
On certain algorithmic problems connected with arithmetic operations on duplexes
Trudy Mat. Inst. Steklov., 72 (1964), 488–523
-
Some properties of arithmetic operations over duplexes
Dokl. Akad. Nauk SSSR, 152:2 (1963), 292–295
-
Gregory Samuilovich Tseytin (obituary)
Uspekhi Mat. Nauk, 78:3(471) (2023), 170–176
-
Boris Abramovich Trakhtenbrot (on the centenary of his birth)
Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195
-
Nikolai Aleksandrovich Shanin (obituary)
Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176
-
Nikolai Aleksandrovich Shanin (on his 80th birthday)
Uspekhi Mat. Nauk, 56:3(339) (2001), 181–184
-
Nikolai Aleksandrovich Shanin (on his seventieth birthday)
Uspekhi Mat. Nauk, 45:1(271) (1990), 205–206
-
Sergei Yur'evich Maslov (obituary)
Uspekhi Mat. Nauk, 39:2(236) (1984), 129–130
-
Nikolai Aleksandrovich Shanin (on his sixtieth birthday)
Uspekhi Mat. Nauk, 35:2(212) (1980), 241–245
-
Editors' preface
Zap. Nauchn. Sem. LOMI, 20 (1971), 7
-
Preface
Zap. Nauchn. Sem. LOMI, 8 (1968), 7
-
Preface
Zap. Nauchn. Sem. LOMI, 4 (1967), 7
© , 2025