|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1979 |
1. |
С. Ю. Маслов, “Исчисления с монотонными выводами и их экономическая интерпретация”, Зап. научн. сем. ЛОМИ, 88 (1979), 90–105 ; S. Yu. Maslov, “Calculuses with monotone deductions and their economic interpretation”, J. Soviet Math., 20:4 (1982), 2314–2321 |
|
1977 |
2. |
С. Ю. Маслов, С. А. Норгела, “Эрбрановы тактики и отношение
“большей выводимости””, Зап. научн. сем. ЛОМИ, 68 (1977), 51–61 ; S. Yu. Maslov, S. A. Norgela, “Herbrand strategies and the “greater deducibility” relation”, J. Soviet Math., 15:1 (1981), 28–33 |
|
1976 |
3. |
С. Ю. Маслов, “Отношение поглощения на регулярных множествах”, Зап. научн. сем. ЛОМИ, 60 (1976), 65–74 ; S. Yu. Maslov, “Absorption relation on regular sets”, J. Soviet Math., 14:5 (1980), 1468–1475 |
1
|
|
1975 |
4. |
С. Ю. Маслов, “Мутационные исчисления”, Зап. научн. сем. ЛОМИ, 49 (1975), 7–30 |
|
1974 |
5. |
С. Ю. Маслов, С. А. Норгела, “О правилах типа сечений в исчислениях общего вида”, Зап. научн. сем. ЛОМИ, 40 (1974), 63–76 |
|
1972 |
6. |
С. Ю. Маслов, В. П. Оревков, “Разрешимые классы, сводящиеся к однокванторному классу”, Тр. МИАН СССР, 121 (1972), 57–66 ; S. Yu. Maslov, V. P. Orevkov, “Decidable classes that reduce to a single quantifier class”, Proc. Steklov Inst. Math., 121 (1972), 61–72 |
7. |
С. Ю. Маслов, “Обратный метод и тактики установления выводимости для исчисления с функциональными знаками”, Тр. МИАН СССР, 121 (1972), 14–56 ; S. Yu. Maslov, “The inverse method, and tactics for establishing deducibility for a calculus with functional symbols”, Proc. Steklov Inst. Math., 121 (1972), 11–60 |
8. |
С. Ю. Маслов, Е. Д. Русаков, “Вероятностные канонические исчисления”, Зап. научн. сем. ЛОМИ, 32 (1972), 66–76 |
9. |
С. Ю. Маслов, “О поиске вывода в исчислениях общего типа”, Зап. научн. сем. ЛОМИ, 32 (1972), 59–65 ; S. Yu. Maslov, “Deduction search in calculi of general type”, J. of Sov. Math., 6:4 (1976), 395–400 |
1
|
|
1971 |
10. |
С. Ю. Маслов, “Распространение обратного метода на исчисление с равенством”, Зап. научн. сем. ЛОМИ, 20 (1971), 80–96 |
|
1969 |
11. |
С. Ю. Маслов, “Связь между тактиками обратного метода и метода резолюций”, Зап. научн. сем. ЛОМИ, 16 (1969), 137–146 |
1
|
12. |
С. Ю. Маслов, “Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе”, Зап. научн. сем. ЛОМИ, 16 (1969), 126–136 |
13. |
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Машинный алгорифм установления выводимости на основе обратного метода”, Зап. научн. сем. ЛОМИ, 16 (1969), 8–19 |
|
1968 |
14. |
С. Ю. Маслов, “Обратный метод установления выводимости для логических исчислений”, Тр. МИАН СССР, 98 (1968), 26–87 ; S. Yu. Maslov, “The inverse method for establishing deducibility for logical calculi”, Proc. Steklov Inst. Math., 98 (1968), 25–95 |
1
|
|
1967 |
15. |
С. Ю. Маслов, “Обратный метод установления выводимости для непредваренных формул исчисления предикатов”, Докл. АН СССР, 172:1 (1967), 22–25 |
1
|
16. |
С. Ю. Маслов, “Представление перечислимых множеств локальными исчислениями”, Тр. МИАН СССР, 93 (1967), 43–49 |
17. |
С. Ю. Маслов, “Понятие строгой представимости в общей теории исчислений”, Тр. МИАН СССР, 93 (1967), 3–42 |
18. |
С. Ю. Маслов, “Обратимый секвенциальный вариант конструктивного исчисления предикатов”, Зап. научн. сем. ЛОМИ, 4 (1967), 96–111 |
|
1966 |
19. |
С. Ю. Маслов, “Применение обратного метода установления выводимости к теории разрешимых фрагментов классического исчисления предикатов”, Докл. АН СССР, 171:6 (1966), 1282–1285 |
|
1965 |
20. |
С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, “Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих
только одноместные предикатные переменные”, Докл. АН СССР, 163:2 (1965), 295–297 |
|
1964 |
21. |
С. Ю. Маслов, “Обратный метод установления выводимости в классическом исчислении предикатов”, Докл. АН СССР, 159:1 (1964), 17–20 |
1
|
22. |
С. Ю. Маслов, “О “Tag”-проблеме Э. Л. Поста”, Тр. МИАН СССР, 72 (1964), 57–68 |
23. |
С. Ю. Маслов, “Некоторые свойства аппарата канонических исчислений Э. Л. Поста”, Тр. МИАН СССР, 72 (1964), 5–56 |
|
1963 |
24. |
С. Ю. Маслов, “О некоторых способах задания множеств в базисах порождения”, Докл. АН СССР, 153:2 (1963), 266–269 |
25. |
С. Ю. Маслов, “О строгой представимости множеств исчислениями”, Докл. АН СССР, 152:2 (1963), 272–274 |
|
1962 |
26. |
С. Ю. Маслов, “Преобразование произвольных канонических исчислений в канонические исчисления специальных типов”, Докл. АН СССР, 147:4 (1962), 779–782 |
|
|
|
1980 |
27. |
С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию
со дня рождения)”, УМН, 35:2(212) (1980), 241–245 ; S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282 |
4
|
|