Псевдофундаментальная последовательность, не эквивалентная монотонной
Г.С. Цейтин (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:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (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: