Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
Displaying similar documents to “Проблема остановки и теория иерархий.”
Нормальность хорновых теорий с немаксимальным спектром
Антиаддитивные примитивно связные теории
Е.А. Палютин (2003)
Algebra i Logika
Similarity:
Моноиды со стабильными теориями регулярных полигонов
А.А. Степанова (2001)
Algebra i Logika
Similarity:
Несколько результов о верхних полурешетках и m-степенях.
А.Н. Дегтев (1979)
Algebra i Logika
Similarity:
Мультипликативные формулы
А.И. Омаров (1993)
Algebra i Logika
Similarity:
Тьюринговы вычисления с логарифмическим замедлением
Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trachtenbrot, B.A. Trahtenbrot (1964)
Algebra i Logika
Similarity:
О счетной категоричности
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
О сложности алгоритмов сведения в конструкциях Новикова-Буна.
Б.А. Трахтенброт (1969)
Algebra i Logika
Similarity:
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Н.В. Белякин, N.V. Beljakin, N.V. Belǎkin, N.V. Beljakin (1963)
Algebra i Logika
Similarity:
О частотном вычислении функций
Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)
Algebra i Logika
Similarity:
О спектре квазитрансцендентных теорий.
М.И. Бекенов (1982)
Algebra i Logika
Similarity:
О вычислимости над моделями разрешимых теорий
В.Г. Пузаренко (2000)
Algebra i Logika
Similarity:
Пример теории, отвечающий на вопрос Б.С.Байжанова
Е.Р. Байсалов (1991)
Algebra i Logika
Similarity:
Неразрешимость элементарных теорий некоторых колец
И.А. Лавров (1962)
Algebra i Logika
Similarity:
Итерированные обогащения моделей счетных теорий и их приложения.
С.С. Гончаров, М. Пурмахдиан, S. S. Gončarov, M. Purmachdian, S. S. Gončarov, M. Purmahdian, S. S. Gončarov, M. Purmachdian (1995)
Algebra i Logika
Similarity:
Об ошибке в статье И.И. Жегалкина "Проблема разрешимости на конечных классах"
В.Ф. Костырко (1962)
Algebra i Logika
Similarity: