Псевдофундаментальная последовательность, не эквивалентная монотонной
Г.С. Цейтин (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.
Displaying similar documents to “Приведенная форма нормальных алгорифмов и теорема о линейном ускорении”
Псевдофундаментальная последовательность, не эквивалентная монотонной
О сложности вывода в исчислении высказываний
Г.С. Цейтин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О дизъюнктивном ранге формул конструктивной арифметики
Г.С. Цейтин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О точности нормального приближения
Л.В. Розовский (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О псевдофункциях Шеннона
И.Д. Заславский (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новая форма многочлена Конвея-Джонса ориентированных зацеплений
М.Н. Гусаров (1991)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Ещё один конструктивный вариант теоремы Коши
И.Д. Заславский, Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема изоляции для форм, отвечающих чисто вещественным алгебраическим полям
У.А. Акрамов (1990)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нормальные расслоения полиэдров и двойственность
В.Е. Колосов (1985)
Matematiceskij sbornik
Similarity:
Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
Зуй Руан Данг, Г.С. Цейтин (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема о разложении для односвязных шестимерных многообразий
А.В. Жубр (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема о больших уклонениях для обобщённой дроби Стьюдента
О.В. Шалаевский (1978)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нецентральная банаховозначная предельная теорема и ее применение
Е.И. Островский (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
К теории нормальных областей
В.А. Шлык (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity: