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

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

Displaying 81 – 100 of 1185

Аксиомы отделимости и разбиения натурального ряда

Н.Х. Касымов (1993)

Sibirskij matematiceskij zurnal

Алгебра Линденбаума-Тарского булевых алгебр с выделенным идеаломи

Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1995)

Algebra i Logika

Алгебра Линденбаума-Тарского класса булевых алгебр с одним выделенным идеалом

Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1994)

Algebra i Logika

Алгебра частично рекурсивных функций

А.И. Щеглов (1967)

Algebra i Logika

Алгебраически неэквивалентные конструктивизации бесконечномерного векторного пространства

Д.В. Лыткина (1990)

Algebra i Logika

Алгебраические системы 2-й ступени

Ю.М. Мовсисян (1975)

Matematiceskie issledovanija

Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик

Д.Е. Тишковский (2001)

Algebra i Logika

Алгебраические эквиваленты разрешимости теоретико-групповых алгоритмических проблем

О.В. Белеградек (1979)

Sibirskij matematiceskij zurnal

Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления

А.Ю. Муравицкий (1986)

Matematiceskij sbornik

Алгебры рекурсивных функций

Е.А. Поляков, E.A. Poljakov, E.A. Polǎkov, E.A. Poljakov (1964)

Algebra i Logika

Алгоритм распознавания разрешимости уравнений с одним неизвестным в полугруппах с мерой налегания определяющих слов, меньшей $1 / 3$

В.А. Осипова (1973)

Matematiceskij sbornik

Алгоритм тождества слов для одного класса разрешимых групп

В.Г. Соколов (1971)

Sibirskij matematiceskij zurnal

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

А.В. Гладкий (1964)

Algebra i Logika

Алгоритмическая размерность решеток.

В.Д. Дзгоев (1991)

Sibirskij matematiceskij zurnal

Алгоритмическая сложность проблемы вхождения в коммутанты и члены нижнего центрального ряда.

И.В. Латкин (1987)

Sibirskij matematiceskij zurnal

Алгоритмические проблемы для разрешимых алгебр Ли.

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

Algebra i Logika

Алгоритмические проблемы и иерархии языков первого порядка

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

Algebra i Logika

Алгоритмические размерности гомоморфных образов моделей

Б.М. Хусаинов (1992)

Algebra i Logika

Алгоритмические свойства ветвящихся моделей.

Ю.Г. Венцов (1986)

Algebra i Logika

Алгоритмические свойства свободных колец.

Г.В. Кряжовских, Г.П. Кукин (1991)

Sibirskij matematiceskij zurnal

Currently displaying 81 – 100 of 1185

Previous Page 5 Next