|
|
Публикации в базе данных Math-Net.Ru
-
Сложность исчисления Ламбека с одним делением и модальностью для ослабления, используемой только при отрицательной полярности
Фундамент. и прикл. матем., 23:4 (2021), 143–162
-
Сети доказательства для исчисления Ламбека с одним делением и модальностью для ослабления, используемой только при отрицательной полярности
Фундамент. и прикл. матем., 23:2 (2020), 247–257
-
Атомарная теория деления и пересечения двусторонних идеалов полуколец
Фундамент. и прикл. матем., 21:1 (2016), 181–191
-
Атомарная теория левого деления двусторонних идеалов полуколец с единицей
Фундамент. и прикл. матем., 17:5 (2012), 129–146
-
Атомарная теория умножения и деления двусторонних идеалов полуколец
Фундамент. и прикл. матем., 15:2 (2009), 169–189
-
Атомарная теория деления двусторонних идеалов полуколец
Фундамент. и прикл. матем., 12:2 (2006), 201–208
-
Объектно-ориентированное представление иерархических графов
Фундамент. и прикл. матем., 10:4 (2004), 159–170
-
Объектно-ориентированное представление иерархических сетей Петри
Фундамент. и прикл. матем., 6:3 (2000), 831–840
-
Атомарные теории семейств полугрупп с делением
Фундамент. и прикл. матем., 6:2 (2000), 627–632
-
Полнота синтаксического исчисления Ламбека
Фундамент. и прикл. матем., 5:1 (1999), 193–219
-
Исчисление Ламбека и формальные грамматики
Фундамент. и прикл. матем., 1:3 (1995), 729–751
-
Сергей Иванович Адян (некролог)
УМН, 76:1(457) (2021), 191–194
-
Владимир Андреевич Успенский (27.11.1930–27.06.2018)
УМН, 74:4(448) (2019), 165–180
-
Сергей Иванович Адян (к 75-летию со дня рождения)
УМН, 61:3(369) (2006), 179–191
© , 2024