Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Псевдофундаментальная последовательность, не эквивалентная монотонной”
Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
О сложности вывода в исчислении высказываний
Г.С. Цейтин (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: