EUDML | Псевдофундаментальная последовательность, не эквивалентная монотонной

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

Displaying similar documents to “Псевдофундаментальная последовательность, не эквивалентная монотонной”

Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов

Г.С. Цейтин (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О сложности вывода в исчислении высказываний

Г.С. Цейтин (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Приведенная форма нормальных алгорифмов и теорема о линейном ускорении

Г.С. Цейтин (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О псевдофункциях Шеннона

И.Д. Заславский (1969)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О дизъюнктивном ранге формул конструктивной арифметики

Г.С. Цейтин (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Новая форма многочлена Конвея-Джонса ориентированных зацеплений

М.Н. Гусаров (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Ещё один конструктивный вариант теоремы Коши

И.Д. Заславский, Г.С. Цейтин (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Зуй Руан Данг, Г.С. Цейтин (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Новый подход к параметризации регрессионных зависимостей

Л.Д. Мешалкин, А.И. Курочкина (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

М.Г. Рогава (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Мажорантная семантика гиперарифметических суждений

Л.Н. Гордеев (1977)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Квазимоды и экспоненциальное расщепление гамака

Т.Ф. Панкратова ([unknown])

Zapiski naucnych seminarov Leningradskogo

Similarity:

О кванторе предельной осуществимости

Н.А. Шанин (1976)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Перспективы крупноблочного подхода в прикладной математике, программировании и вычислительной технике

Л.В. Канторович ([unknown])

Zapiski naucnych seminarov Leningradskogo

Similarity: