EuDML | Browse

The search session has expired. Please query the service again.

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

Displaying 341 – 360 of 1185

Моноиды со стабильными полигонами без кручения.

А.А. Степанова (2002)

Algebra i Logika

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

А.А. Степанова (2001)

Algebra i Logika

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

В.А. Горбунов (1986)

Algebra i Logika

Мощность моделей теорий исчисления с квантором Хартига.

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

Sibirskij matematiceskij zurnal

Мультипликативные формулы

А.И. Омаров (1993)

Algebra i Logika

Мутационные исчисления

С.Ю. Маслов (1975)

Zapiski naucnych seminarov Leningradskogo

Наименьшие неподвижные точки в логике Гёделя-Леба

С.И. Мардаев (1993)

Algebra i Logika

Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике

С.И. Мардаев (1993)

Algebra i Logika

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

Ю.Ш. Гуревич (1967)

Algebra i Logika

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

В.В. Рыбаков (1976)

Algebra i Logika

Наследственно эффективные операции

Ю.Л. Ершов (1976)

Algebra i Logika

Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры

С.П. Одинцов (1992)

Algebra i Logika

Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка

Р. Плюшкявичюс (1995)

Zapiski naucnych seminarov POMI

Насыщенность булевых алгебр

А.И. Омаров (1974)

Sibirskij matematiceskij zurnal

Нахождение компонент связности полуалгебраического множества в субэкспоненциальное время

Н.Н.мл. Воробьев, Д.Ю. Григорьев (1991)

Zapiski naucnych seminarov Leningradskogo

Начальные сегменты в полурешетках Роджерса $Σ_{n}^{0}$ -вычислимых нумераций

С.Ю. Подзоров (2003)

Algebra i Logika

Неабелево многообразие групп имеет неразрешимую элементарную теорию.

А.Р. Замятин (1978)

Algebra i Logika

Неаксиоматизируемость решеточно упорядочиваемых групп

А.А. Виноградов (1971)

Sibirskij matematiceskij zurnal

Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы

Ю.М. Важенин (1990)

Algebra i Logika

Негативные модальные схемы.

С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1998)

Algebra i Logika

Currently displaying 341 – 360 of 1185

Previous Page 18 Next