Маслов Сергей Юрьевич

Публикации в базе данных Math-Net.Ru

1. Исчисления с монотонными выводами и их экономическая интерпретация
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  90–105
2. Эрбрановы тактики и отношение “большей выводимости”
   
   Зап. научн. сем. ЛОМИ, 68 (1977),  51–61
3. Отношение поглощения на регулярных множествах
   
   Зап. научн. сем. ЛОМИ, 60 (1976),  65–74
4. Мутационные исчисления
   
   Зап. научн. сем. ЛОМИ, 49 (1975),  7–30
5. О правилах типа сечений в исчислениях общего вида
   
   Зап. научн. сем. ЛОМИ, 40 (1974),  63–76
6. Разрешимые классы, сводящиеся к однокванторному классу
   
   Тр. МИАН СССР, 121 (1972),  57–66
7. Обратный метод и тактики установления выводимости для исчисления с функциональными знаками
   
   Тр. МИАН СССР, 121 (1972),  14–56
8. Вероятностные канонические исчисления
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  66–76
9. О поиске вывода в исчислениях общего типа
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  59–65
10. Распространение обратного метода на исчисление с равенством
    
    Зап. научн. сем. ЛОМИ, 20 (1971),  80–96
11. Связь между тактиками обратного метода и метода резолюций
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  137–146
12. Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  126–136
13. Машинный алгорифм установления выводимости на основе обратного метода
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  8–19
14. Обратный метод установления выводимости для логических исчислений
    
    Тр. МИАН СССР, 98 (1968),  26–87
15. Обратный метод установления выводимости для непредваренных формул исчисления предикатов
    
    Докл. АН СССР, 172:1 (1967),  22–25
16. Представление перечислимых множеств локальными исчислениями
    
    Тр. МИАН СССР, 93 (1967),  43–49
17. Понятие строгой представимости в общей теории исчислений
    
    Тр. МИАН СССР, 93 (1967),  3–42
18. Обратимый секвенциальный вариант конструктивного исчисления предикатов
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  96–111
19. Применение обратного метода установления выводимости к теории разрешимых фрагментов классического исчисления предикатов
    
    Докл. АН СССР, 171:6 (1966),  1282–1285
20. Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих только одноместные предикатные переменные
    
    Докл. АН СССР, 163:2 (1965),  295–297
21. Обратный метод установления выводимости в классическом исчислении предикатов
    
    Докл. АН СССР, 159:1 (1964),  17–20
22. О “Tag”-проблеме Э. Л. Поста
    
    Тр. МИАН СССР, 72 (1964),  57–68
23. Некоторые свойства аппарата канонических исчислений Э. Л. Поста
    
    Тр. МИАН СССР, 72 (1964),  5–56
24. О некоторых способах задания множеств в базисах порождения
    
    Докл. АН СССР, 153:2 (1963),  266–269
25. О строгой представимости множеств исчислениями
    
    Докл. АН СССР, 152:2 (1963),  272–274
26. Преобразование произвольных канонических исчислений в канонические исчисления специальных типов
    
    Докл. АН СССР, 147:4 (1962),  779–782


27. Николай Александрович Шанин (к шестидесятилетию со дня рождения)
    
    УМН, 35:2(212) (1980),  241–245