Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Displaying similar documents to “Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений”
Две теоремы существования для вычислимых нумераций.
Аналогии теоремы Райса для семантических классов предложений.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
В.Н. Герасимов (1976)
Algebra i Logika
Similarity:
О g-бипримитивно конечных группах с условивием минимальности для g-подгрупп.
А.Н. Остыловский, В.П. Шунков (1975)
Algebra i Logika
Similarity:
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О проблеме спектров разрешимости для многообразий алгебр
Л.М. Мартынов (1990)
Algebra i Logika
Similarity:
О некоторых примерах верхних полурешеток вычислимых нумераций.
В.В. Вьюгин (1973)
Algebra i Logika
Similarity:
Нерегулярное исчисление предикатов первого порядка.
А. Таутс (1969)
Algebra i Logika
Similarity:
Соотношения между степенями табличного типа
А.Н. Дёгтев (1983)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity: