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