| Publication | Date of Publication | Type |
|---|
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Obituary: Nikolai Aleksandrovich Shanin (1919--2011)
Russian Mathematical Surveys | 2013-12-17 | Paper |
Nikolai Aleksandrovich Shanin (on his 80th birthday)
Russian Mathematical Surveys | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1191151 (Why is no real title available?) | 1998-11-05 | Paper |
On fault tolerance of syntax
Theoretical Computer Science | 1994-01-26 | Paper |
Search for shortest path around semialgebraic obstacles in the plane
Journal of Mathematical Sciences (New York) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4216992 (Why is no real title available?) | 1991-01-01 | Paper |
Nikolai Aleksandrovich Shanin (on his seventieth birthday)
Russian Mathematical Surveys | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3999291 (Why is no real title available?) | 1984-01-01 | Paper |
Detection of periodicities and string-matching in real time
Journal of Soviet Mathematics | 1983-01-01 | Paper |
Context-free grammars as a tool for describing polynomial-time subclasses of hard problems
Information Processing Letters | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3915621 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3752215 (Why is no real title available?) | 1981-01-01 | Paper |
Complexity problems in computational theory
Russian Mathematical Surveys | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3761403 (Why is no real title available?) | 1981-01-01 | Paper |
A simplified proof of the real-time recognizability of palindromes on Turing machines
Journal of Soviet Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3690687 (Why is no real title available?) | 1980-01-01 | Paper |
NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)
Russian Mathematical Surveys | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3661310 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3642704 (Why is no real title available?) | 1979-01-01 | Paper |
Finite approach to the problem of optimizing theorem-proving algorithms
Journal of Soviet Mathematics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594652 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3559546 (Why is no real title available?) | 1977-01-01 | Paper |
Recognizing a symmetry predicate by multihead Turing machines with input
Proceedings of the Steklov Institute of Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3483600 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3478847 (Why is no real title available?) | 1973-01-01 | Paper |
A property of enumerable sets containing complexly deducible formulas
Journal of Soviet Mathematics | 1973-01-01 | Paper |
On certain algorithmitic problems connected with arithmetic operations over duplexes
Fourteen Papers on Logic, Geometry, Topology and Algebra | 1972-01-01 | Paper |
Example of a nondiscontinuous but not continuous constructive operator in a metric space
Fourteen Papers on Logic, Geometry, Topology and Algebra | 1972-01-01 | Paper |
On constructive nonseparable spaces
Fourteen Papers on Logic, Geometry, Topology and Algebra | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3351540 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3361272 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3346297 (Why is no real title available?) | 1971-01-01 | Paper |
Some questions on the approximation of maximal regulators of continuity
Proceedings of the Steklov Institute of Mathematics | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3315228 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3267300 (Why is no real title available?) | 1968-01-01 | Paper |
Arithmetical operations on certain sets of duplexes
Proceedings of the Steklov Institute of Mathematics | 1967-01-01 | Paper |
On the construction of maximal continuity regulators for constructive functions
Proceedings of the Steklov Institute of Mathematics | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3337666 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3269046 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3372026 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3372025 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3372027 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3372024 (Why is no real title available?) | 1963-01-01 | Paper |
