|
|
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 ; 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 ; 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 ; 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 |
|
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 |
|
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 ; 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 ; 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 |
9. |
S. Yu. Maslov, “Deduction search in calculi of general type”, Zap. Nauchn. Sem. LOMI, 32 (1972), 59–65 ; 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 |
|
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 |
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 |
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 |
|
1968 |
14. |
S. Yu. Maslov, “The inverse method for establishing deducibility for logical calculi”, Trudy Mat. Inst. Steklov., 98 (1968), 26–87 ; 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 |
1
|
16. |
S. Yu. Maslov, “The representation of recursively enumerable sets by local calculi”, Trudy Mat. Inst. Steklov., 93 (1967), 43–49 |
17. |
S. Yu. Maslov, “The concept of strict representability in the general theory of calculi”, Trudy Mat. Inst. Steklov., 93 (1967), 3–42 |
18. |
S. Yu. Maslov, “Invertible sequential variant of intuitibnistic predicate calculus”, Zap. Nauchn. Sem. LOMI, 4 (1967), 96–111 |
|
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 |
|
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 |
|
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 |
1
|
22. |
S. Yu. Maslov, “On E. L. Post's “tag problem””, Trudy Mat. Inst. Steklov., 72 (1964), 57–68 |
23. |
S. Yu. Maslov, “Certain properties of E. L. Post's apparatus of canonical calculi”, Trudy Mat. Inst. Steklov., 72 (1964), 5–56 |
|
1963 |
24. |
S. Yu. Maslov, “On certain methods of prescribing sets in generating bases”, Dokl. Akad. Nauk SSSR, 153:2 (1963), 266–269 |
25. |
S. Yu. Maslov, “On strict representability of sets by calculi”, Dokl. Akad. Nauk SSSR, 152:2 (1963), 272–274 |
|
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 |
|
|
|
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 ; Russian Math. Surveys, 35:2 (1980), 277–282 |
4
|
|
Organisations |
|
|
|
|