Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Maslov, Sergei Yur'evich
(1939–1982)
Statistics Math-Net.Ru
Total publications: 27
Scientific articles: 26

Number of views:
This page:1469
Abstract pages:6085
Full texts:3033
References:47
Doctor of physico-mathematical sciences
Birth date: 10.06.1939

https://www.mathnet.ru/eng/person22726
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/192372

Publications in Math-Net.Ru Citations
1979
1. S. Yu. Maslov, “Calculuses with monotone deductions and their economic interpretation”, Zap. Nauchn. Sem. LOMI, 88 (1979),  90–105  mathnet  mathscinet  zmath; J. Soviet Math., 20:4 (1982), 2314–2321
1977
2. S. Yu. Maslov, S. A. Norgela, “Herbrand strategies and the “greater deducibility” relation”, Zap. Nauchn. Sem. LOMI, 68 (1977),  51–61  mathnet  mathscinet  zmath; J. Soviet Math., 15:1 (1981), 28–33
1976
3. S. Yu. Maslov, “Absorption relation on regular sets”, Zap. Nauchn. Sem. LOMI, 60 (1976),  65–74  mathnet  mathscinet  zmath; J. Soviet Math., 14:5 (1980), 1468–1475 1
1975
4. S. Yu. Maslov, “The mutation-calculuses”, Zap. Nauchn. Sem. LOMI, 49 (1975),  7–30  mathnet  mathscinet  zmath
1974
5. S. Yu. Maslov, S. A. Norgela, “On cut-type rules for calculuses of general type”, Zap. Nauchn. Sem. LOMI, 40 (1974),  63–76  mathnet  mathscinet  zmath
1972
6. S. Yu. Maslov, V. P. Orevkov, “Decidable classes that reduce to a single quantifier class”, Trudy Mat. Inst. Steklov., 121 (1972),  57–66  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 121 (1972), 61–72
7. S. Yu. Maslov, “The inverse method, and tactics for establishing deducibility for a calculus with functional symbols”, Trudy Mat. Inst. Steklov., 121 (1972),  14–56  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 121 (1972), 11–60
8. S. Yu. Maslov, E. D. Rusakov, “Probabilistic canonical systems”, Zap. Nauchn. Sem. LOMI, 32 (1972),  66–76  mathnet  mathscinet
9. S. Yu. Maslov, “Deduction search in calculi of general type”, Zap. Nauchn. Sem. LOMI, 32 (1972),  59–65  mathnet  mathscinet; J. of Sov. Math., 6:4 (1976), 395–400 1
1971
10. S. Yu. Maslov, “An extension of the inverse method to the predicate calculus with equality”, Zap. Nauchn. Sem. LOMI, 20 (1971),  80–96  mathnet  mathscinet  zmath
1969
11. S. Yu. Maslov, “A connection between tactics of the inverse method and the resolution method”, Zap. Nauchn. Sem. LOMI, 16 (1969),  137–146  mathnet  mathscinet  zmath 1
12. S. Yu. Maslov, “Deduction search tactics based on a specialization of the order of members in favourable sets”, Zap. Nauchn. Sem. LOMI, 16 (1969),  126–136  mathnet  mathscinet  zmath
13. G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “A computer algorithm for establishing deducibility, based on the inverse method”, Zap. Nauchn. Sem. LOMI, 16 (1969),  8–19  mathnet  mathscinet  zmath
1968
14. S. Yu. Maslov, “The inverse method for establishing deducibility for logical calculi”, Trudy Mat. Inst. Steklov., 98 (1968),  26–87  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 98 (1968), 25–95 1
1967
15. S. Yu. Maslov, “Inverse method of establishing deducibility for non-prenex formulas of predicate calculus”, Dokl. Akad. Nauk SSSR, 172:1 (1967),  22–25  mathnet  mathscinet  zmath 1
16. S. Yu. Maslov, “The representation of recursively enumerable sets by local calculi”, Trudy Mat. Inst. Steklov., 93 (1967),  43–49  mathnet  mathscinet  zmath
17. S. Yu. Maslov, “The concept of strict representability in the general theory of calculi”, Trudy Mat. Inst. Steklov., 93 (1967),  3–42  mathnet  mathscinet  zmath
18. S. Yu. Maslov, “Invertible sequential variant of intuitibnistic predicate calculus”, Zap. Nauchn. Sem. LOMI, 4 (1967),  96–111  mathnet  mathscinet  zmath
1966
19. S. Yu. Maslov, “Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus”, Dokl. Akad. Nauk SSSR, 171:6 (1966),  1282–1285  mathnet  mathscinet  zmath
1965
20. S. Yu. Maslov, G. E. Mints, V. P. Orevkov, “Insolvability in the constructive calculus of predicates of certain classes of formulae containing only one-place predicate variables”, Dokl. Akad. Nauk SSSR, 163:2 (1965),  295–297  mathnet  mathscinet  zmath
1964
21. S. Yu. Maslov, “An inverse method of establishing deducibility in the classical predicate calculus”, Dokl. Akad. Nauk SSSR, 159:1 (1964),  17–20  mathnet  mathscinet  zmath 1
22. S. Yu. Maslov, “On E. L. Post's “tag problem””, Trudy Mat. Inst. Steklov., 72 (1964),  57–68  mathnet  mathscinet  zmath
23. S. Yu. Maslov, “Certain properties of E. L. Post's apparatus of canonical calculi”, Trudy Mat. Inst. Steklov., 72 (1964),  5–56  mathnet  mathscinet  zmath
1963
24. S. Yu. Maslov, “On certain methods of prescribing sets in generating bases”, Dokl. Akad. Nauk SSSR, 153:2 (1963),  266–269  mathnet  mathscinet  zmath
25. S. Yu. Maslov, “On strict representability of sets by calculi”, Dokl. Akad. Nauk SSSR, 152:2 (1963),  272–274  mathnet  mathscinet  zmath
1962
26. S. Yu. Maslov, “Transformation of arbitrary canonical calculi into canonical calculi of special types”, Dokl. Akad. Nauk SSSR, 147:4 (1962),  779–782  mathnet  mathscinet  zmath
1980
27. S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Uspekhi Mat. Nauk, 35:2(212) (1980),  241–245  mathnet  mathscinet  zmath; Russian Math. Surveys, 35:2 (1980), 277–282  isi 4

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024