EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Dxx Computability and recursion theory
03D35 Undecidability and degrees of sets of sentences

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 3 Next

Displaying 41 – 60 of 61

Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Tajclin (1963)

Algebra i Logika

Неразрешимость элементарных теорий некоторых колец

И.А. Лавров (1962)

Algebra i Logika

Неразрешимые свойства расширений логики доказуемости. II

A.B. Чагров (1990)

Algebra i Logika

Неразрешимые свойства расширения логики доказуемости

А.В. Чагров (1990)

Algebra i Logika

О биконъюнктивных классах сведения

В.П. Оревков (1971)

Zapiski naucnych seminarov Leningradskogo

О полных индексных множествах

М.И. Бубис (1976)

Verojatnostnye metody i kibernetika

О разрешимости теории булевых алгебр с выделенным идеалом

А.С. Морозов (1982)

Sibirskij matematiceskij zurnal

О распознавании замещаемости в рекурсивных языках

A.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii, A.V. Gladkij (1963)

Algebra i Logika

О существовании нерекурсивных базисов конечных автоматов

М.И. Кратко (1964)

Algebra i Logika

Об обобщенных полурешетках и m-степенях индексных множеств

Т.М. Кузьмина (1989)

Algebra i Logika

Об Эквациональных теориях классов конечных колец.

В.Ю. Попов (1999)

Sibirskij matematiceskij zurnal

Об элементарной теории структур подгрупп

М.И. Каргаполов (1962)

Algebra i Logika

Об элементарных теориях свободных нильпотентных алгебр

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Taiclin (1964)

Algebra i Logika

Проблема равенства и свободные произведения алгебр Ли и ассоциативных алгебр

Г.П. Кукин (1983)

Sibirskij matematiceskij zurnal

Расширенные теории булевых алгебр.

З.А. Дулатова (1984)

Sibirskij matematiceskij zurnal

Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.

С.Т. Федоряев, S. T. Fedorjaev, S. T. Fedorǎev, S. T. Fedorjaev (1995)

Algebra i Logika

Теорема вложения для многообразий Кантора

Л.В. Шабунин (2001)

Algebra i Logika

Элементарная теория скелетов вложимости дискриминаторных многообразий.

А.Г. Пинус (1991)

Sibirskij matematiceskij zurnal

Элементарные теории конечно-порожденных про-р-колец.

Е.Н. Пахотин (1987)

Sibirskij matematiceskij zurnal

Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin (1962)

Algebra i Logika

Currently displaying 41 – 60 of 61

Previous Page 3 Next