О сложности вывода в исчислении высказываний
Г.С. Цейтин (1968)
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.
Displaying similar documents to “Финитный подход к задаче оптимизации алгоритмов установления выводимости”
О сложности вывода в исчислении высказываний
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов
Р.И. Фрейдзон (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
А.О. Слисенко (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижняя оценка поворотной сложности для машин Тьюринга
Г.К. Лаздиня (1987)
Verojatnostnye metody i kibernetika
Similarity:
Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
Г.С. Цейтин (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Алгоритм полиномиальной сложности для факторизации многочленов над локальными полями
А.Л. Чистов (1991)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Диаграммы Хегора и крашеные многогранники
М.Л. Старец (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Уровневые логики
Н.К. Косовский (1995)
Zapiski naucnych seminarov POMI
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Алгоритм полиномиальной сложности для разложения многочленов и нахождение компонент многообразия в субэкспоненциальное время
А.Л. Чистов (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Роль детерминизма в языках запросов для баз данных.
С.С. Магазов (1987)
Sibirskij matematiceskij zurnal
Similarity:
Алгоритм для одной суммы обратных величин
В.И. Вичирко (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Регулярный подход в задаче об аттракторах сингулярно возмущенных уравнений
И.Н. Костин (1990)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю.В. Матиясевич (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Остовной алгоритм построения потоков в БКВ
К.В. Шахбазян, Т.А. Тушкина, М.М. Лебединский (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity: