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
03Bxx General logic

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 59 Next

Displaying 1161 – 1180 of 1314

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

Д.Е. Пальчунов (1986)

Algebra i Logika

О нумерациях насыщенных и однородных моделей

С.С. Гончаров, Б.Н. Дроботун (1980)

Sibirskij matematiceskij zurnal

О параметрической выразимости функций трехзначной логики

А.Ф. Данильченко (1977)

Algebra i Logika

О позитивных теориях свободных инверсных полугрупп

Б.В. Розенблат (1979)

Sibirskij matematiceskij zurnal

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

В.Г. Дурнев (1974)

Sibirskij matematiceskij zurnal

О полноте систем формул в двойственностно цепных логиках

М.Ф. Раца (1987)

Matematiceskie issledovanija

О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.

Л.П. Лисовик (1984)

Algebra i Logika

О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций

В.И. Шаронов (1988)

Issledovanija po prikladnoj matematike

О применениях булевых степеней алгебраических систем.

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

Sibirskij matematiceskij zurnal

О простых идеалах в кольцах многочленов.

М.А. Тайцлин (1968)

Algebra i Logika

О разрешимости классов иерархий регулярных апериодических языков.

В.Л. Селиванов (2002)

Algebra i Logika

О разрешимости некоторых теорий целых чисел.

Ю.Г. Пензин (1973)

Sibirskij matematiceskij zurnal

О разрешимости расширенных теорий сложения натуральных и целых чисел.

А.А. Иванов (1984)

Sibirskij matematiceskij zurnal

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

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

Sibirskij matematiceskij zurnal

О разрешимости теорий первого порядка групп и моноидов целочисленных матриц

Ю.В. Нагребецкая (2000)

Algebra i Logika

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

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

Algebra i Logika

О распознавании инвариантных свойств коротких алгорифмов

Н.К. Косовский (1979)

Zapiski naucnych seminarov Leningradskogo

О распознавании тавтологичности пропозициональных формул

П.Ю. Суворов (1976)

Zapiski naucnych seminarov Leningradskogo

О реализациях предикатных формул

М.М. Кипнис (1971)

Zapiski naucnych seminarov Leningradskogo

О решетке нормальных модальных логик.

Л.Л. Максимова, В.В. Рыбаков (1974)

Algebra i Logika

Currently displaying 1161 – 1180 of 1314

Previous Page 59 Next