Неразрешимость некоторых теорий
Ю.Л. Ершов, М.А. Тайцлин, Ju.L. Eršov, M.A. Tajclin, Ǔ. L. Eršov, M.A. Tajclin, M.A. Taitslin, Ju.L. Ersov, Ju.L. Eršov, M.A. Tajclin (1963)
Algebra i Logika
Similarity:
Displaying similar documents to “Неразрешимость элементарных теорий некоторых колец”
Неразрешимость некоторых теорий
Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Tajclin (1963)
Algebra i Logika
Similarity:
Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
Сложность вычисления псевдослучайных последовательностей.
В.Н. Агафонов (1968)
Algebra i Logika
Similarity:
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)
Algebra i Logika
Similarity:
Разрешимость некоторых элементарных теорий
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin, M.A. Tajchlin (1964)
Algebra i Logika
Similarity:
О частотном вычислении функций
Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)
Algebra i Logika
Similarity:
Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы
Ю.М. Важенин (1990)
Algebra i Logika
Similarity:
Ещё несколько примеров неразрешимых теорий
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taislin (1967)
Algebra i Logika
Similarity:
Проблема остановки и теория иерархий.
Л.Н. Победин (1975)
Algebra i Logika
Similarity:
Интуиционистская теория алгебраических систем и гейтинговозначный анализ.
В.А. Любецкий (1991)
Algebra i Logika
Similarity:
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И.А. Лавров (1963)
Algebra i Logika
Similarity: