|
|
1954, том 42
|
 |
|
 |
Теория алгорифмов
Эта книга цитируется в следующих публикациях Math-Net.Ru:
- О неразрешимых $Q$-теориях многообразий колец
А. И. Будкин
Сиб. журн. чист. и прикл. матем., 2018, 18:3, 20–26 - Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова
Д. А. Зайцев
Модел. и анализ информ. систем, 2011, 18:4, 80–93 - Алгоритмическая распознаваемость свойства конечности конечно-определенных систем
Е. Н. Павловский
Вестн. НГУ. Сер. матем., мех., информ., 2006, 6:4, 83–92 - Марковские свойства бернсайдовских многообразий полугрупп
В. Ю. Попов
Алгебра и логика, 2003, 42:1, 94–106 - Алгоритмические проблемы для групп и полугрупп
С. И. Адян, В. Г. Дурнев
УМН, 2000, 55:2(332), 3–94 - Теорема Гёделя о неполноте в элементарном изложении
В. А. Успенский
УМН, 1974, 29:1(175), 3–47 - Диофантовы множества
Ю. В. Матиясевич
УМН, 1972, 27:5(167), 185–222 - Системы уравнений в свободной группе. I
Ю. И. Хмелевский
Изв. АН СССР. Сер. матем., 1971, 35:6, 1237–1268 - Диофантово представление перечислимых предикатов
Ю. В. Матиясевич
Изв. АН СССР. Сер. матем., 1971, 35:1, 3–30 - Инвариантные свойства систем формул элементарных аксиоматических
теорий
М. М. Кипнис
Изв. АН СССР. Сер. матем., 1970, 34:5, 963–976 - Сложность конечных объектов и обоснование понятий информации и случайности с помощью теории алгоритмов
А. К. Звонкин, Л. А. Левин
УМН, 1970, 25:6(156), 85–127 - О нормальных алгорифмах, связанных с вычислением булевых
функций
А. А. Марков
Изв. АН СССР. Сер. матем., 1967, 31:1, 161–208
- Андрей Андреевич Марков (к столетию со дня рождения)
Дискрет. матем., 2004, 16:1, 3–8
|
|
Обратная связь: