Псевдофундаментальная последовательность, не эквивалентная монотонной
Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О сложности вывода в исчислении высказываний”
Псевдофундаментальная последовательность, не эквивалентная монотонной
О дизъюнктивном ранге формул конструктивной арифметики
Г.С. Цейтин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об оценках сложности разрешения алгорифмов
М.И. Канович (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Две теоремы о сложности алгорифмов и вычислений
Н.В. Петри (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Приведенная форма нормальных алгорифмов и теорема о линейном ускорении
Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об оценке сложности некоторых массовых проблем анализа
М.И. Канович, Б.А. Кушнер (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Диофантова сложность
Ю.В. Матиясевич (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Финитный подход к задаче оптимизации алгоритмов установления выводимости
А.О. Слисенко (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
Зуй Руан Данг, Г.С. Цейтин (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижние оценки сложности для машинных моделей вычисления
А.П. Бельтюков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижняя оценка поворотной сложности для машин Тьюринга
Г.К. Лаздиня (1987)
Verojatnostnye metody i kibernetika
Similarity:
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
А.О. Слисенко (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р.А. Плюшкевичус (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: