Табличные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов”
Табличные аппроксимации рекурсивных предикатов
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Регулярные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р.И. Фрейдзон (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Семейства рекурсивных предикатов нулевой меры
Р.И. Фрейдзон (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Финитный подход к задаче оптимизации алгоритмов установления выводимости
А.О. Слисенко (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О сложности вывода в исчислении высказываний
Г.С. Цейтин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О канонических рекурсивных функциях и операциях
Н.А. Шанин (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О рекурсивных решетах
В. Амстиславский (1966)
Sibirskij matematiceskij zurnal
Similarity:
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М.Х. Фахми (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности
Д.А. Бочвар (1960)
Matematiceskij sbornik
Similarity:
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р.А. Плюшкевичус (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Верхние оценки удлинения выводов при устранении сечений
В.П. Оревков (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Эндоморфизмы группы всех рекурсивных перестановок.
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1997)
Algebra i Logika
Similarity: